1052 search results - page 104 / 211 » The Regular Real-Time Languages |
112
Voted
FM
2009
Springer
15 years 10 months ago
2009
Springer
In Bounded Model Checking both the system model and the checked property are translated into a Boolean formula to be analyzed by a SAT-solver. We introduce a new encoding technique...
118
click to vote
FDL
2007
IEEE
15 years 10 months ago
2007
IEEE
This article introduces the Time Model subprofile of MARTE, a new OMG UML Profile dedicated to Modeling and Analysis of Real-Time and Embedded systems. After a brief presentatio...
119
click to vote
ADAEUROPE
2004
Springer
15 years 9 months ago
2004
Springer
Abstract: A framework for application-defined scheduling and its corresponding application program interface (API) were defined during the last International Real-Time Ada Workshop...
106
click to vote
ATAL
2003
Springer
15 years 9 months ago
2003
Springer
The Australian Bureau of Meteorology has a requirement for complex and evolving systems to manage its weather forecasting, monitoring and alerts. This paper describes an agent-bas...
127
click to vote
ICFCA
2010
Springer
15 years 9 months ago
2010
Springer
This paper discusses results from an experimental study of concept neighbourhoods in WordNet and Roget’s Thesaurus. The general aim of this research is to determine ways in which...