Sciweavers

3514 search results - page 576 / 703
» Software Process Modeling: Principles of Entity Process Mode...
Sort
View
ERLANG
2008
ACM
15 years 3 months ago
Testing Erlang data types with quviq quickcheck
When creating software, data types are the basic bricks. Most of the time a programmer will use data types defined in library modules, therefore being tested by many users over ma...
Thomas Arts, Laura M. Castro, John Hughes
105
Voted
WIRTSCHAFTSINFORMATI
2007
15 years 3 months ago
Management of Portal Evolution
Software evolution is an essential concept underlying the engineering of corporate portals. Due to the complexity of such systems, it requires great effort and is not advisable to...
Hong Tuan Kiet Vo, Helmuth Elsner
JSS
2006
153views more  JSS 2006»
15 years 1 months ago
Towards the automatic generation of mobile agents for distributed intrusion detection system
The Mobile Agent Intrusion Detection System (MAIDS) is an agent based distributed Intrusion Detection System (IDS). A disciplined requirement engineering process is developed to b...
Yanxin Wang, Smruti Ranjan Behera, Johnny Wong, Gu...
ADAEUROPE
2010
Springer
14 years 12 months ago
Scheduling Configuration of Real-Time Component-Based Applications
Abstract: This paper proposes a strategy to manage the schedulability of realtime component-based applications that is fully compatible with the concept of component viewed as a re...
Patricia López Martínez, Laura Barro...
108
Voted
AMEC
2004
Springer
15 years 7 months ago
Designing Auctions for Deliberative Agents
Abstract. In many settings, bidding agents for auctions do not know their preferences a priori. Instead, they must actively determine them through deliberation (e.g., information p...
Kate Larson, Tuomas Sandholm