812 search results - page 37 / 163 » New Visual Interface for Engineering Use Case Models |
SIGSOFT
2000
ACM
15 years 2 months ago
2000
ACM
Constraint-based languages can express in a concise way the complex logic of a new generation of interactive services for applications such as banking or stock trading, that must ...
ERSA
2006
14 years 11 months ago
2006
In this paper we first outline and discuss the issues of currently accepted computational models for hybrid CPU/FPGA systems. Then, we discuss the need for researchers to develop ...
AVI
2008
15 years 20 hour ago
2008
Many critical decisions for individuals and organizations are often framed as preferential choices: the process of selecting the best option out of a set of alternatives. This pap...
VMCAI
2007
Springer
15 years 3 months ago
2007
Springer
Abstract. This paper explores a way to apply model checking techniques to parallel programs that use the nonblocking primitives of the Message Passing Interface (MPI). The method h...
ISESE
2006
IEEE
15 years 3 months ago
2006
IEEE
Controlled experiments are a key approach to evaluate and evolve our understanding of software engineering technologies. However, defining and running a controlled experiment is a...