2661 search results - page 235 / 533 » A Semantics for Abstraction |
181
click to vote
IFIP
2004
Springer
16 years 1 days ago
2004
Springer
Ensuring correctness of software by formal methods is a very relevant and widely studied problem. Automatic verification of software using model checkers from the state space exp...
145
click to vote
ICFEM
2007
Springer
16 years 25 days ago
2007
Springer
Bounded semantics of LTL with existential interpretation and that of ECTL (the existential fragment of CTL), and the characterization of these existentially interpreted properties ...
182
click to vote
MM
2010
ACM
15 years 6 months ago
2010
ACM
Human Visual attention (HVA) is an important strategy to focus on specific information while observing and understanding visual stimuli. HVA involves making a series of fixations ...
179
click to vote
SYNASC
2008
IEEE
16 years 1 months ago
2008
IEEE
Nowadays, business rules receive a lot of attention from both industry and academia, as they are considered the ideal vehicle for capturing business logic. The purpose of our pape...
175
click to vote
CAISE
2005
Springer
16 years 7 days ago
2005
Springer
Abstract. Ontologies play a relevant role to support service matchmaking in the discovery process. In fact, the elements used for service capability description refer to concepts t...