Sciweavers

6800 search results - page 971 / 1360
» Testing with Functions as Specifications
Sort
View
WOSP
2004
ACM
16 years 4 days ago
Early-stage performance modeling and its application for integrated embedded control software design
Most of current embedded control software (ECSW) development techniques deal only with performance specifications during the early software design phase and delay the modeling and...
Shige Wang, Kang G. Shin
AOSE
2004
Springer
16 years 4 days ago
A Metamodel for Agents, Roles, and Groups
Societies need patterned behavior to exist. Large-scale agent societies may contain a diversity of agents, each with differing abilities and functionalities. When such an agent sys...
James Odell, Marian H. Nodine, Renato Levy
GRID
2004
Springer
16 years 3 days ago
Usage Policy-Based CPU Sharing in Virtual Organizations
Resource sharing within Grid collaborations usually implies specific sharing mechanisms at participating sites. Challenging policy issues can arise within virtual organizations (V...
Catalin Dumitrescu, Ian T. Foster
IPSN
2004
Springer
16 years 3 days ago
Modeling of sensor nets in Ptolemy II
This paper describes a modeling and simulation framework called VisualSense for wireless sensor networks that builds on and leverages Ptolemy II. This framework supports actor-ori...
Philip Baldwin, Sanjeev Kohli, Edward A. Lee, Xiao...
RE
2004
Springer
16 years 2 days ago
From Aspectual Requirements to Proof Obligations for Aspect-Oriented Systems
Aspect-oriented software development (AOSD) techniques support systematic modularization and composition of crosscutting concerns. Though AOSD techniques have been proposed to han...
Shmuel Katz, Awais Rashid