4693 search results - page 474 / 939 » Verifying Hybrid Systems |
194
click to vote
ICDCS
2005
IEEE
16 years 20 days ago
2005
IEEE
Securing data is becoming a crucial need for most internet-based applications. Whereas the problem of data confidentiality has been widely investigated, the problem of how to ens...
175
click to vote
CF
2004
ACM
16 years 15 days ago
2004
ACM
We introduce MaRS, a reconfigurable, parallel computing engine with special emphasis on scalability, lending itself to the computation-/data-intensive multimedia data processing a...
165
click to vote
ASYNC
2002
IEEE
16 years 1 days ago
2002
IEEE
Advanced clock-delayed1 and self-resetting domino circuits are becoming increasingly important design styles in aggressive synchronous as well as asynchronous design. Their design...
216
Voted
CSCWD
2001
Springer
15 years 11 months ago
2001
Springer
Workflow management techniques are aiming at supporting business process across organization boundaries. Current techniques are lacking of the formalism tools to model and analyze...
161
click to vote
ECIS
2004
15 years 8 months ago
2004
Assuming a rational perspective, the adoption and development of a new organisational technology can be viewed as a way to achieve an higher level of efficiency by finding the bes...