1064 search results - page 127 / 213 » Disjoint Systems (Extended Abstract) |
100
Voted
BIRTHDAY
2010
Springer
15 years 3 months ago
2010
Springer
Abstract. The error-prone process of formal specification and verification of large systems requires an efficient, evolutionary formal development approach. Development graphs have...
109
Voted
COMPSEC
2008
15 years 3 months ago
2008
Abstract-- Rootkit attacks are a serious threat to computer systems. Packaged with other malware such as worms, viruses and spyware, rootkits pose a more potent threat than ever be...
120
click to vote
CORR
2008
Springer
15 years 3 months ago
2008
Springer
Abstract We investigate here a new version of the Calculus of Inductive Constructions (CIC) on which the proof assistant Coq is based: the Calculus of Congruent Inductive Construct...
107
click to vote
CORR
2008
Springer
15 years 3 months ago
2008
Springer
Abstract. Compact categories have lately seen renewed interest via applications to quantum physics. Being essentially finite-dimensional, they cannot accomodate (co)limit-based con...
119
click to vote
ECEASST
2008
15 years 3 months ago
2008
Executable UML allows precisely describing the software system at level of abstraction. The executable models can be translated to a less programming language completely or execute...