3799 search results - page 388 / 760 » An Engineering Approach to Formal Methods |
146
click to vote
DAC
2003
ACM
16 years 7 months ago
2003
ACM
Verification of system designs continues to be a major challenge today. Simulation remains the primary tool for making sure that implementations perform as they should. We present...
200
click to vote
DIS
2009
Springer
16 years 1 months ago
2009
Springer
Motivated by the need for unification of the domain of data mining and the demand for formalized representation of outcomes of data mining investigations, we address the task of c...
176
click to vote
ICDE
2007
IEEE
16 years 1 months ago
2007
IEEE
Control theory is a well established discipline that has emerged from aeronautical, electrical, and mechanical engineering to provide a formal approach to building robust systems....
184
click to vote
ACOM
2006
Springer
16 years 24 days ago
2006
Springer
Interaction protocols enable agents to communicate with each other effectively. Whereas several approaches exist to specify interaction protocols, none of them has design tools th...
186
click to vote
ER
2000
Springer
15 years 10 months ago
2000
Springer
Relational database systems represent the current standard technology for implementing database applications. Now that the object-oriented paradigm becomes more and more mature in...