1091 search results - page 132 / 219 » The State of Cognitive Systems Engineering |
115
Voted
ICSE
2003
IEEE-ACM
16 years 4 months ago
2003
IEEE-ACM
We present a new methodology for automatic verification of C programs against finite state machine specifications. Our approach is compositional, naturally enabling us to decompos...
129
Voted
ICSE
2004
IEEE-ACM
16 years 4 months ago
2004
IEEE-ACM
Various forms of agreements naturally arise in the service provider model as well as in multi-party computing models such as business-to-business, utility and grid computing. The r...
135
Voted
ESSOS
2009
Springer
15 years 10 months ago
2009
Springer
Through first-responder access to sensitive information for which they have not been pre-vetted, lives and property can be saved. We describe enhancements to a trusted emergency i...
125
click to vote
OSS
2009
Springer
15 years 10 months ago
2009
Springer
Abstract The reuse of Open Source Software components available on the Internet is playing a major role in the development of Component Based Software Systems. Nevertheless, the sp...
105
click to vote
SEFM
2007
IEEE
15 years 10 months ago
2007
IEEE
The issues surrounding the question of atomicity, both in the past and nowadays, are briefly reviewed, and a picture of an ACID (atomic, consistent, isolated, durable) transactio...