4476 search results - page 552 / 896 » Modeling software architectures in the Unified Modeling Lang... |
176
click to vote
FOSSACS
2006
Springer
15 years 10 months ago
2006
Springer
Reversible computation has a growing number of promising application areas such as the modelling of biochemical systems, program debugging and testing, and even programming languag...
160
click to vote
VRML
2004
ACM
16 years 7 days ago
2004
ACM
Mining operations have traditionally used specialised software packages to process and visualise valuable mining data. The downside to this approach is that the information can on...
172
click to vote
IWPC
2003
IEEE
16 years 2 days 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...
176
click to vote
ICFEM
2004
Springer
16 years 6 days ago
2004
Springer
Abstract. We present a “memory-model-sensitive” approach to validating correctness properties for multithreaded programs. Our key insight is that by specifying both the inter-t...
171
click to vote
COMPSAC
2008
IEEE
16 years 1 months ago
2008
IEEE
Research shows that most agent-based collaborations suffer from lack of flexibility. This is due to the fact that most agent-based applications assume pre-defined knowledge of age...