1260 search results - page 177 / 252 » From Domain Models to Architecture Frameworks |
114
click to vote
JUCS
2010
14 years 6 months ago
2010
: There is a need for more rigorous analysis techniques that developers can use for verifying the critical properties in UML models. The UML-based Specification Environment (USE) t...
107
click to vote
INFOCOM
2003
IEEE
15 years 5 months ago
2003
IEEE
— Peer-peer networking has recently emerged as a new paradigm for building distributed networked applications. In this paper we develop simple mathematical models to explore and ...
104
click to vote
CBSE
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. Many component models and frameworks have been proabstract and capture concerns from Real-Time and Embedded application domains, based on high-level component-based appro...
LREC
2010
15 years 1 months ago
2010
As the number of language resources accessible on the Internet increases, many efforts have been made for combining language resources and language processing tools to create new ...
CAV
2010
Springer
15 years 3 months ago
2010
Springer
Abstract. We present the tool MERIT, a CEGAR model-checker for safety propf counter-systems, which sits in the Lazy Abstraction with Interpolants (LAWI) framework. LAWI is parametr...