1796 search results - page 132 / 360 » An Approach to Compositional Model Checking |
ICWS
2009
IEEE
14 years 7 months ago
2009
IEEE
Emerging as the popular choice for leading Internet companies to expose internal data and resources, RESTful Web services are attracting increasing attention in the industry. Whil...
GCB
2005
Springer
14 years 4 months ago
2005
Springer
: Functionally related genes involved in the same molecular-genetic, biochemical, or physiological process are often regulated coordinately Such regulation is provided by precisely...
ICWSM
2009
13 years 8 months ago
2009
The recognition of personal emotional state or sentiment conveyed through text is the main task we address in our research. The communication of emotions through text messaging an...
VL
2005
IEEE
14 years 4 months ago
2005
IEEE
In this paper we present a formal approach, based on meta-modelling and graph transformation, to the generation of environments for visual languages (VLs) supporting multiple view...
SIGSOFT
2005
ACM
14 years 11 months ago
2005
ACM
Fluent model checking is an automated technique for verifying that an event-based operational model satisfies some state-based declarative properties. The link between the event-b...