4726 search results - page 713 / 946 » Domain Modeling of Software Process Models |
172
click to vote
LCPC
2007
Springer
16 years 22 days ago
2007
Springer
Binary Decision Diagrams (BDDs) have recently become widely accepted as a space-efficient method of representing relations in points-to analyses. When BDDs are used to represent re...
166
click to vote
COMPSAC
2006
IEEE
16 years 19 days ago
2006
IEEE
The convergence of data, voice and multimedia communication over digital networks, coupled with continuous improvement in network capacity and reliability has significantly enrich...
161
click to vote
AOSE
2005
Springer
16 years 4 days ago
2005
Springer
Requirements elicitation for a software system is a key stage in a successful development. At the same time, it is one of the most challenging, because requirements have to conside...
152
click to vote
ADAEUROPE
2001
Springer
15 years 11 months ago
2001
Springer
This paper describes the transaction support framework OPTIMA and its implementation for Ada 95. First, a transaction model that fits concurrent programming languages is presented...
204
click to vote
IUI
1998
ACM
15 years 10 months ago
1998
ACM
Life-likeanimatedinterfaceagentsforknowledge-basedlearning environments can provide timely, customized advice to support students’ problem solving. Because of their strong visua...