2142 search results - page 162 / 429 » Representing Time in Multimedia Systems |
190
click to vote
KES
2004
Springer
15 years 12 months ago
2004
Springer
Agent based workflow systems are being discussed by many researchers for a long time. In this paper we present a new collaborative approach for workflow systems. Agents collaborate...
160
click to vote
ISSS
2000
IEEE
15 years 11 months ago
2000
IEEE
The ever increasing complexity of embedded systems consisting of hardware and software components poses a challenge in verifying their correctness, New verification methods that o...
178
click to vote
OOPSLA
2010
Springer
15 years 4 months ago
2010
Springer
We introduce a type system based on intervals, objects representing the time in which a block of code will execute. The type system can verify time-based properties such as when a...
167
click to vote
FASE
2005
Springer
16 years 9 hour ago
2005
Springer
Abstract. The build architecture of legacy C/C++ software systems, groups program files in directories to represent logical components. The interfaces of these components are loos...
166
click to vote
VLDB
2005
ACM
15 years 12 months ago
2005
ACM
In many systems, sensors are used to acquire information from external environments such as temperature, pressure and locations. Due to continuous changes in these values, and lim...