3754 search results - page 262 / 751 » Process modeling paradigms: an evaluation |
186
click to vote
HYBRID
2001
Springer
15 years 11 months ago
2001
Springer
Abstract. The assume-guarantee paradigm is a powerful divide-andconquer mechanism for decomposing a veri cation task about a system into subtasks about the individual components of...
163
click to vote
TOOLS
1997
IEEE
15 years 11 months ago
1997
IEEE
Function Point Analysis measures user requested functionality independent of the technology used for implementation. Software applications are represented stract model that contai...
216
click to vote
FUIN
2006
15 years 7 months ago
2006
We present a model and a core programming language appropriate for modeling and programming interactive computing systems. The model consists of rv-systems (interactive systems wit...
210
click to vote
MIR
2006
ACM
16 years 1 months ago
2006
ACM
This paper introduces a content-based information retrieval method inspired by the ideas of spreading activation models. In response to a given query, the proposed approach comput...
197
click to vote
DANCE
2002
IEEE
16 years 6 days ago
2002
IEEE
Active-network technology envisions deploying execution environments in network elements so that application-specific processing can be applied to network traffic. To provide safe...