1699 search results - page 16 / 340 » A timed semantics of Orc |
ECBS
2009
IEEE
14 years 3 months ago
2009
IEEE
Future space missions, such as Mars Science Laboratory, are built upon computing platforms providing a high degree of autonomy and diverse functionality. The increased sophisticat...
EDBT
1998
ACM
14 years 1 months ago
1998
ACM
Many collections of scienti c data in particular disciplines are available today around the world. Much of this data conforms to some agreed upon standard for data exchange, i.e., ...
ICALP
2005
Springer
14 years 2 months ago
2005
Springer
Abstract. We describe a cryptographically sound formal logic for proving protocol security properties without explicitly reasoning about probability, asymptotic complexity, or the ...
ICFEM
2010
Springer
13 years 7 months ago
2010
Springer
The correct behavior of a service composition depends on the appropriate coordination of its services. According to the idea of channelbased coordination, services exchange message...
RTAS
2006
IEEE
14 years 2 months ago
2006
IEEE
