3522 search results - page 253 / 705 » Modeling and Aspect Weaving |
155
click to vote
ICCSA
2007
Springer
16 years 8 days ago
2007
Springer
Computational origami is the computer assisted study of origami as a branch of science of shapes. The origami construction is a countably finite sequence of fold steps, each consi...
185
click to vote
SPIN
2007
Springer
16 years 7 days ago
2007
Springer
One of the most exciting and promising approaches to ensure the correctness of critical systems is software model checking, which considers real code, written with standard program...
151
click to vote
COMPSAC
2006
IEEE
16 years 6 days ago
2006
IEEE
Model-checking techniques are successfully used in the verification of both hardware and software systems of industrial relevance. Unfortunately, the capability of current techni...
160
click to vote
DATE
2006
IEEE
16 years 6 days ago
2006
IEEE
Sensor networks are emerging wireless technologies; their integration with the existing 2.5G, 3G mobile networks is a key issue to provide advanced services, e.g., health control....
148
click to vote
EPIA
2005
Springer
15 years 11 months ago
2005
Springer
This paper introduces an original 2-valued semantics for Normal Logic Programs (NLP), which conservatively extends the Stable Model semantics (SM) to all normal programs. The dist...