4693 search results - page 80 / 939 » Verifying Hybrid Systems |
126
click to vote
FASE
2008
Springer
15 years 2 months ago
2008
Springer
We introduce a logical verification framework for checking functional properties of service-oriented applications formally specified using the service specification language COWS. ...
102
click to vote
BIOSIG
2003
15 years 2 months ago
2003
Abstract: Biometric identification and verification technologies, in the past, have promised high performance levels. Such performance statements lead to the assumption, that these...
113
Voted
BIRTHDAY
2010
Springer
15 years 24 days ago
2010
Springer
Prominent logics, including quantified multimodal logics, can be elegantly embedded in simple type theory (classical higher-order logic). Furthermore, off-the-shelf reasoning syste...
127
Voted
HCW
1998
IEEE
15 years 4 months ago
1998
IEEE
A heterogeneous computing system provides a variety of different machines, orchestrated to perform an application whose subtasks have diverse execution requirements. The subtasks ...
ATAL
2006
Springer
15 years 4 months ago
2006
Springer
The effective reasoning capability of an agent can be defined as its capability to infer, within a given space and time bound, facts that are logical consequences of its knowledge...