5407 search results - page 773 / 1082 » The Software Engineering Global Model |
203
click to vote
IUI
2004
ACM
16 years 21 days ago
2004
ACM
In this paper, we describe a method for pedagogical agents to choose when to interact with learners in interactive learning environments. This method is based on observations of h...
166
click to vote
WOSP
2004
ACM
16 years 21 days ago
2004
ACM
While the use of network intrusion detection systems (nIDS) is becoming pervasive, evaluating nIDS performance has been found to be challenging. The goal of this study is to deter...
185
click to vote
CGO
2003
IEEE
16 years 17 days ago
2003
IEEE
Many processor architectures provide a set of addressing modes in their address generation units. For example DSPs (digital signal processors) have powerful addressing modes for e...
240
click to vote
CODES
2003
IEEE
16 years 17 days ago
2003
IEEE
We present an approach to the automatic derivation of executable Process Network specifications from Weakly Dynamic Applications. We introduce the notions of Dynamic Single Assig...
210
click to vote
KBSE
2003
IEEE
16 years 16 days ago
2003
IEEE
In this paper we discuss a model-based approach to verifying web service compositions for web service implementations. This approach provides verification of properties created fr...