Sciweavers

847 search results - page 49 / 170
» An Algebra for Features and Feature Composition
Sort
View
WSC
1998
13 years 9 months ago
GMSim: A Tool for Compositional GSMP Modeling
The development of a discrete-event simulation tool, called GMSim, based on the generalized semi-Markov process (GSMP) formalism is described. The GSMP representation comprises bo...
Frode B. Nilson
FORTE
1996
13 years 9 months ago
Applications of Fair Testing
In this paper we present the application of the fair testing pre-order, introduced in a previous paper, to the speci cation and analysis of distributed systems. This pre-order com...
Ed Brinksma, Arend Rensink, Walter Vogler
IIE
2006
130views more  IIE 2006»
13 years 7 months ago
Animation Tools of CAS for Dynamic Exploration of Mathematics
Abstract. The scope of the paper is animation facilities of computer algebra systems (CAS). Animation offers opportunities for visualization of complex mathematical concepts, provi...
Joana Lipeikiene, Antanas Lipeika
WWW
2005
ACM
14 years 8 months ago
Composite event queries for reactivity on the web
Reactivity on the Web is an emerging issue. The capability to automatically react to events (such as updates to Web resources) is essential for both Web services and Semantic Web ...
François Bry, James Bailey, Paula-Lavinia P...
COLCOM
2007
IEEE
14 years 2 months ago
Secure scripting based composite application development: Framework, architecture, and implementation
—Dynamic scripting languages such as Ruby provide language features that enable developers to express their intent more rapidly and with fewer expressions. Organizations started ...
Tom Dinkelaker, Alisdair Johnstone, Yücel Kar...