1077 search results - page 134 / 216 » Formal Checking of Properties in Complex Systems Using Abstr... |
188
Voted
COMPSYSTECH
2011
14 years 3 months ago
2011
Abstract. In a software watermarking environment, several graph theoretic watermark methods encode the watermark values as graph structures and embed them in application programs. ...
262
Voted
POPL
2008
ACM
16 years 3 months ago
2008
ACM
Communication is becoming one of the central elements in software development. As a potential typed foundation for structured communication-centred programming, session types have...
158
Voted
TDSC
2011
14 years 10 months ago
2011
Abstract— We present on-line tunable diagnostic and membership protocols for generic time-triggered (TT) systems to detect crashes, send/receive omission faults and network parti...
104
Voted
ICRA
2007
IEEE
15 years 10 months ago
2007
IEEE
Abstract— In this paper, two problems related to the simulation of virtual environments for haptic systems are considered. The first problem is how to simulate, in discrete time...
145
Voted
DAGSTUHL
1998
15 years 5 months ago
1998
Abstract. During the last years, a number of formal specification languages for knowledge-based systems have been developed. Characteristic for knowledge-based systems are a comple...