1356 search results - page 171 / 272 » The ideal of verified software |
170
click to vote
ISWC
2002
IEEE
15 years 11 months ago
2002
IEEE
This paper explores the application of wearable computer systems to threat response, exemplified by the Multi-functional Micro-controllable Interface Module (MMIM)/Digital Militar...
155
click to vote
AIMS
2010
Springer
15 years 11 months ago
2010
Springer
Abstract. Dependable performance measurement is a common requirement for all on-line services. The ongoing tendency to outsource not only infrastructure, but also software parts to...
141
click to vote
CSCWD
2001
Springer
15 years 10 months ago
2001
Springer
XRL (eXchangeable Routing Language) is an instancebased workflow language that uses XML for the representation of process definitions and Petri nets for its semantics. Since XRL i...
173
click to vote
COBUILD
1998
Springer
15 years 10 months ago
1998
Springer
: New forms of communication and co-operation do not have the same environmental impact pattern as current forms of work. Environmental impacts are produced by work technologies (m...
161
click to vote
COMPGEOM
1996
ACM
15 years 10 months ago
1996
ACM
Fast C implementations of four geometric predicates, the 2D and 3D orientation and incircle tests, are publicly available. Their inputs are ordinary single or double precision flo...