Phil Windley

OCTOBER 1, 2022

The job is in AWS Identity, and involves automated reasoning (formal methods). dissertation was on using formal methods to verify the correctness of microprocessors. When I was doing formal methods, we dreamed of the day when automated reasoning would handle real problems for people without access to highly trained Ph.D.

Web Services 104

Web Services Groups Security Analysis 104

Kitaboo

OCTOBER 30, 2023

Educators can also receive feedback on their methods and materials. A Framework for Instructional Content Licensing Licensing educational content isn’t just a formality—it’s about capturing the creator’s intent and ensuring their vision guides how the material is shared and revisited by educators worldwide.

Licensing 78

Licensing Education eBook Resources 78

Kitaboo

JULY 14, 2023

In the digital age, traditional learning methods have undergone a significant transformation. However, keep in mind that premium ebooks or specialized content may come with a higher price tag. E-learning courses often provide certifications upon completion, while ebooks typically do not offer formal certifications.

eBook 78

eBook Course Analysis Internet 78

A CIO's Voice

JULY 9, 2014

Develops the ability of others to perform and contribute to the organization by providing ongoing feedback and by providing opportunities to learn through formal and informal methods. Developing Others. Team Building. Inspires and fosters team commitment, spirit, pride, and trust.

CTO Hire 110

CTO Hire Fractional CTO Government CTO 110

Leveraging Organizational Knowledge

DECEMBER 5, 2005

Organizations always produced knowledge and this knowledge must have been used to add value somehow => TRUE However, knowledge was not managed explicitly, formally, systematically because, until the 90s, it didn’t really need to be in order to add value. BUT WHY ALL THIS FUSS NOW? Stop making the same mistakes twice (or many more times).

SOA 40

SOA Strategy Social Retail 40

Phil Windley

MARCH 30, 2020

Monument credentials are the foundational documents upon which most of us build our formal identity, things like birth certificates, property titles, and passports. Correlation Minimization —Our work on and support for the Peer DID Method Specification. Tags: sovrin identity identity+for+all credentials privacy.

System 55

System Examples Network Architecture 55

Vox

OCTOBER 6, 2021

Waymo, which shares a parent company with Google, is slowly and methodically rolling out its autonomous vehicles in the form of a robo-taxi service. In August, the NHTSA opened a formal investigation into Autopilot after crashes involving Teslas and emergency vehicles ( 12 so far ). This dissonance has resulted in tragedy.

Transportation 99

Transportation Travel Hardware Engineering 99