2339 search results - page 415 / 468 » Models and Tools for Mulan Applications |
150
click to vote
ISQED
2003
IEEE
15 years 11 months ago
2003
IEEE
This paper describes the use of integer equations for high level modeling digital circuits for application of formal verification properties at this level. Most formal verificatio...
156
click to vote
IWPC
2003
IEEE
15 years 11 months ago
2003
IEEE
In the last decades several tools and environments defined and introduced languages for querying, navigating sforming abstract syntax trees. These environments were meant to supp...
150
click to vote
ATAL
2003
Springer
15 years 11 months ago
2003
Springer
Large systems of agents deployed in a real-world environment face threats to their problem solving performance that are independent of the complexity of the problem or the charact...
145
click to vote
AWIC
2003
Springer
15 years 11 months ago
2003
Springer
Design patterns have been enthusiastically embraced in the software engineering community as well as in the web community since they capture knowledge about how and when to apply a...
184
click to vote
BIRTHDAY
2003
Springer
15 years 11 months ago
2003
Springer
Combinatorial optimization problems naturally arise in many application areas, including logistics, manufacturing, supplychain management, and resource allocation. They often give...