7623 search results - page 356 / 1525 » Constructive Volume Modeling |
136
click to vote
ATAL
2007
Springer
16 years 24 days ago
2007
Springer
In this paper we enrich FIEVeL (a modelling language for institutions amenable to model checking) with new constructs to describe norms and sanctions. Moreover, we present a speciļ...
161
click to vote
ICECCS
2006
IEEE
16 years 20 days ago
2006
IEEE
There is great interest in the application of nanotechnology to medicine, but concerns for safety are paramount. We present a modelling technique based on CSP and B as a starting ...
205
click to vote
HASE
2005
IEEE
16 years 7 days ago
2005
IEEE
Aspect-oriented modeling is proposed to design the architecture of fault tolerant systems. Notations are introduced that support the separate and modularized design of functional ...
170
click to vote
PERCOM
2005
ACM
16 years 6 days ago
2005
ACM
We present a framework for utilizing context-awareness for classifying services. We also present a novel RDFbased model for context-aware reasoning in pervasive computing environm...
166
click to vote
EUROPAR
2005
Springer
16 years 5 days ago
2005
Springer
We present an overview of current research in performance modeling, focusing on eļ¬orts underway in the Performance Evaluation Research Center (PERC). Using some new techniques, w...