3868 search results - page 195 / 774 » Open Systems in TLA |
182
Voted
ATAL
2004
Springer
16 years 15 days ago
2004
Springer
The ‘engineering’ and ‘adaptive’ approaches to system production are distinguished. It is argued that producing reliable self-organised software systems (SOSS) will necessa...
213
click to vote
HYBRID
2003
Springer
16 years 9 days ago
2003
Springer
Abstract. The use of algorithmic verification and synthesis tools for hybrid systems is currently limited to systems exhibiting simple continuous dynamics such as timed automata o...
158
click to vote
IMC
2006
ACM
16 years 1 months ago
2006
ACM
Peer-to-peer (P2P) networks continue to be popular means of trading content. However, very little protection is in place to make sure that the files exchanged in these networks a...
151
Voted
ICSE
2003
IEEE-ACM
16 years 7 months ago
2003
IEEE-ACM
In order to address challenges and opportunities of engineering information systems for network-centric warfare, we have developed a prototype for trustworthy and sustainable oper...
156
Voted
MEMOCODE
2005
IEEE
16 years 20 days ago
2005
IEEE
The SystemVerilog standard introduces SystemVerilog Assertions (SVA), a synchronous assertion package based on the temporal-logic semantics of PSL. Traditionally assertions are ch...