3207 search results - page 357 / 642 » A Semantics for HTN Methods |
161
Voted
JOT
2008
15 years 5 months ago
2008
Complex software systems possess concurrent and reactive behaviors requiring precise specifications prior to development. Lamport's transition axiom method is a formal specif...
149
Voted
JUCS
2010
15 years 3 months ago
2010
Abstract: Most of ambient intelligence studies have tried to employ inductive methods (e.g., data mining) to discover useful information and patterns from data streams on sensor ne...
108
click to vote
SAC
2009
ACM
15 years 12 months ago
2009
ACM
In the Design By Contract (DBC) approach, programmers specify methods with pre and postconditions (also called contracts). Earlier work added protocols to the DBC approach to desc...
161
click to vote
MMM
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. Recent advancements in 3D scanning technologies have inspired the development of effective methods for matching and retrieving 3D objects. A common pre-processing stage ...
143
click to vote
FM
1999
Springer
15 years 9 months ago
1999
Springer
Support for system speci cation in terms of modelling and simulation environments has become a common practice in safety-critical applications. Also, a current trend is the automat...