4890 search results - page 538 / 978 » From system specifications to component behavioral models |
249
Voted
RTS
2002
15 years 7 months ago
2002
This paper presents a Feedback Control real-time Scheduling (FCS) framework for adaptive realtime systems. An advantage of the FCS framework is its use of feedback control theory ...
218
click to vote
IJON
2007
15 years 7 months ago
2007
Parallel computers have the computing power needed to simulate biologically accurate neuronal network models. Partitioning is the process of cutting a model in pieces and assignin...
225
click to vote
ICECCS
2010
IEEE
15 years 7 months ago
2010
IEEE
—This paper presents a novel approach to the design of self-adaptive service-oriented applications based on a new model called service tiles. The approach allows designers to dev...
216
click to vote
EUROCAST
2007
Springer
15 years 11 months ago
2007
Springer
Abstract Model Checking is a well-known and fully automatic technique for checking software properties, usually given as temporal logic formulas on the program variables. Most of m...
199
Voted
NLE
2008
15 years 7 months ago
2008
This paper describes clime, a web-based legal advisory system with a multilingual natural language interface. clime is a `proof-of-concept' system which answers queries relat...