4036 search results - page 264 / 808 » Formal Methods |
178
click to vote
FMCAD
2007
Springer
15 years 10 months ago
2007
Springer
As VLSI fabrication technology progresses to 65nm feature sizes and smaller, transistors no longer operate as ideal switches. This motivates verifying digital circuits using contin...
167
click to vote
KI
2007
Springer
16 years 23 days ago
2007
Springer
General action languages, like e.g. the Situation Calculus, use full classical logic to represent knowledge of actions and their effects in dynamic domains. Description Logics, on...
200
click to vote
CSFW
2005
IEEE
16 years 7 days ago
2005
IEEE
Availability is a critical issue in modern distributed systems. While many techniques and protocols for preventing denial of service (DoS) attacks have been proposed and deployed ...
192
click to vote
DAGSTUHL
2004
15 years 8 months ago
2004
Abstract. Model transformations are an integral part of OMG's standard for Model Driven Architecture (MDA). Model transformations should at the best allow for a seamless trans...
162
click to vote
DAGSTUHL
2006
15 years 8 months ago
2006
Interorganizational cooperation is more and more organized by the paradigm of services. Service-oriented architectures (SOA) provide a general framework for service interaction. SO...