759 search results - page 60 / 152 » Identifying Modeling Errors in Signatures by Model Checking |
MEMOCODE
2003
IEEE
14 years 2 months ago
2003
IEEE
Formal techniques have been widely applied in the design of real-time systems and have significantly helped detect design errors by checking real-time properties of the model. Ho...
CONSTRAINTS
2008
13 years 9 months ago
2008
Zinc is a new modelling language developed as part of the G12 project. It has four important characteristics. First, Zinc allows speci cation of models using a natural mathematical...
HICSS
2006
IEEE
14 years 3 months ago
2006
IEEE
This study develops a novel model, GA-SVR, for parameters optimization in support vector regression and implements this new model in a problem forecasting maximum electrical daily...
ICPR
2006
IEEE
14 years 10 months ago
2006
IEEE
Multi-agent interactions often result in mutual occlusion sequences which constitute a visual signature for the event. We define six qualitative occlusion primitives based on the ...
POPL
1990
ACM
14 years 1 months ago
1990
ACM
Typed -calculus is an important tool in programming language research because it provides an extensible framework for studying language features both in isolation and in their rel...