2106 search results - page 239 / 422 » Specifying C concepts |
128
Voted
WETICE
2000
IEEE
15 years 7 months ago
2000
IEEE
We discuss a vision of and work in progress on a collaborative engineering environment, the Collaborative Design Studio, being developed at the Geometric and Intelligent Computing...
117
Voted
ICRA
1995
IEEE
15 years 7 months ago
1995
IEEE
This paper describes the development of a sensor which performs parts inspection by measuring the inertial properties of the part. The sensor comprises a platform supported on a c...
133
Voted
EDOC
2009
IEEE
15 years 6 months ago
2009
IEEE
Methods for enterprise architecture, such as TOGAF, acknowledge the importance of requirements engineering in the development of enterprise architectures. Modelling support is nee...
130
click to vote
BIRTHDAY
2008
Springer
15 years 5 months ago
2008
Springer
e [43] is the first paper on final, observational semantics in abstract data types, and the main reference for one of the MoC contributed papers in this volume. It presented severa...
134
Voted
CCS
2008
ACM
15 years 5 months ago
2008
ACM
A recent development in formal security protocol analysis is the Protocol Composition Logic (PCL). We identify a number of problems with this logic as well as with extensions of t...