2500 search results - page 158 / 500 » Specifying Behavior in C |
120
Voted
ICAS
2006
IEEE
15 years 9 months ago
2006
IEEE
Autonomic systems are typically distributed, complex and concurrent systems, comprised of multiple interacting autonomic elements that often exhibit emergent behavior. Design and ...
137
Voted
RTAS
2006
IEEE
15 years 9 months ago
2006
IEEE
Distributed hard real-time systems require guaranteed communication. One common approach is to restrict network access by enforcing a time-division multiple access (TDMA) schedule...
103
Voted
DSN
2005
IEEE
15 years 9 months ago
2005
IEEE
System call monitoring is a technique for detecting and controlling compromised applications by checking at runtime that each system call conforms to a policy that specifies the ...
122
click to vote
ICECCS
2005
IEEE
15 years 9 months ago
2005
IEEE
Live Sequence Charts (LSCs) are a broad extension to Message Sequence Charts (MSCs) to capture complex interobject communication rigorously. A tool support for LSCs, named PlayEng...
124
click to vote
IPCCC
2005
IEEE
15 years 9 months ago
2005
IEEE
A composite multimedia object (cmo) is comprised of different media components such as text, video, audio and image, with a variety of constraints that must be adhered to. The con...