2266 search results - page 342 / 454 » A generic component model for building systems software |
173
click to vote
MOBISYS
2007
ACM
16 years 6 months ago
2007
ACM
Provenance becomes a critical requirement for healthcare IT infrastructures, especially when pervasive biomedical sensors act as a source of raw medical streams for large-scale, a...
207
click to vote
CCS
2010
ACM
15 years 6 months ago
2010
ACM
Models based on system calls are a popular and common approach to characterize the run-time behavior of programs. For example, system calls are used by intrusion detection systems...
179
click to vote
AC
1999
Springer
15 years 10 months ago
1999
Springer
A widely used computational model for constructing fault-tolerant distributed applications employs atomic transactions for controlling operations on persistent objects. There has ...
181
click to vote
DATE
2004
IEEE
15 years 10 months ago
2004
IEEE
Formal verification techniques have been playing an important role in pre-silicon validation processes. One of the most important points considered in performing formal verificati...
275
click to vote
ICDE
2002
IEEE
16 years 7 months ago
2002
IEEE
The development of new services through the integration of existing ones has gained a considerable momentum as a means to create and streamline business-to-business collaborations...