899 search results - page 118 / 180 » A Temporal Language for SystemC |
109
click to vote
DEXAW
2006
IEEE
15 years 7 months ago
2006
IEEE
Besides being adopted as the new general data representation format for the Internet, XML is finding increasing acceptance as a native data exchange language. In order to fully e...
142
click to vote
TIME
2003
IEEE
15 years 6 months ago
2003
IEEE
We investigate expressivity and complexity of hybrid logics on linear structures. Hybrid logics are an enrichment of modal logics with certain first-order features which are algo...
110
click to vote
ESOP
2003
Springer
15 years 6 months ago
2003
Springer
In complex systems, like robot plants, applications are built on top of a set of components, or devices. Each of them has particular individual constraints, and there are also log...
116
click to vote
CCS
2001
ACM
15 years 6 months ago
2001
ACM
Although there is a substantial amount of work on formal requirements for two and three-party key distribution protocols, very little has been done on requirements for group proto...
ICSE
2000
IEEE-ACM
15 years 5 months ago
2000
IEEE-ACM
The design of distributed applications in a CORBA based environment can be carried out by means of an incremental approach, which starts from the specification and leads to the hi...