2771 search results - page 338 / 555 » Advances in Document Engineering |
138
click to vote
ISSTA
2006
ACM
16 years 16 days ago
2006
ACM
Finite-state verification techniques are often hampered by the stateexplosion problem. One proposed approach for addressing this problem is assume-guarantee reasoning. Using rece...
202
click to vote
COMPSAC
2005
IEEE
16 years 6 days ago
2005
IEEE
Distributed processing environments such as that of a traffic management network system (TMS) can be implemented easier, faster, and secure and perform better through use of auton...
186
click to vote
IUI
2005
ACM
16 years 4 days ago
2005
ACM
In this paper, we describe the development of CiteSpace as an integrated environment for identifying and tracking thematic trends in scientific literature. The goal is to simplify...
171
click to vote
EMSOFT
2005
Springer
16 years 3 days ago
2005
Springer
Statecharts are probably the most popular mechanism for behavior modeling of embedded system components. Modeling a component involves using a mainstream language for features tha...
165
click to vote
ICNC
2005
Springer
16 years 2 days ago
2005
Springer
Advances in grid computing have recently sparkled the research and development of Grid problem solving environments for complex design. Parallelism in the form of distributed compu...