5205 search results - page 335 / 1041 » Tilings and model theory |
115
Voted
ICSE
2010
IEEE-ACM
15 years 2 months ago
2010
IEEE-ACM
The transition from single-core to multi-core processors has made multi-threaded software an important subject over the last years in computer-aided verification. Model checkers ...
88
Voted
CORR
2007
Springer
15 years 24 days ago
2007
Springer
abstract such additional information as network annotations. We introduce a network topology modeling framework that treats annotations as an extended correlation profile of a net...
136
Voted
RE
2006
Springer
15 years 22 days ago
2006
Springer
Aspect-oriented concepts are currently introduced in all phases of the software development life cycle. However, the complexity of interactions among different aspects and between...
201
Voted
GAMESEC
2011
14 years 14 days ago
2011
Recent works on Internet risk management have proposed the idea of cyber-insurance to eliminate risks due to security threats, which cannot be tackled through traditional means suc...
92
Voted
ICFP
2006
ACM
16 years 23 days ago
2006
ACM
The problem of expressing I/O and side effects in functional languages is a well-established one. This paper addresses this problem from a general semantic viewpoint by giving a u...