Sciweavers

6796 search results - page 426 / 1360
» Java for Embedded Systems
Sort
View
FOSSACS
2011
Springer
14 years 8 months ago
Ordinal Theory for Expressiveness of Well Structured Transition Systems
To the best of our knowledge, we characterize for the first time the importance of resources (counters, channels, alphabets) when measuring expressiveness of WSTS. We establish, f...
Rémi Bonnet, Alain Finkel, Serge Haddad, Fe...
HICSS
1999
IEEE
92views Biometrics» more  HICSS 1999»
15 years 9 months ago
XMDS: The Xputer Multimedia Development System
The paper introduces an Internet based development system for Xputers, which combines an application development framework with a runtime support to run applications on the real h...
Michael Herz, Thomas Hoffmann, Ulrich Nageldinger,...
AMAST
2008
Springer
15 years 7 months ago
Implementing a Categorical Information System
The authors have proposed using category-theoretic sketches to enhance database design and integration methodologies. The algebraic context is called the Sketch Data Model (SkDM) a...
Michael Johnson, Robert D. Rosebrugh
ATAL
2004
Springer
15 years 10 months ago
A UML Based Approach for Modeling and Implementing Multi-Agent Systems
In this paper we present an agent-oriented modeling language, called MAS-ML, and an approach for mapping its diagrams into Java implementations. MAS-ML extends the UML meta-model ...
Viviane Torres da Silva, Ricardo Choren, Carlos Jo...
151
Voted
ICSE
2000
IEEE-ACM
15 years 8 months ago
Holmes: a system to support software product lines
Software product lines are multiple systems that are developed synergistically in an attempt to exploit scope economies. They are a promising approach to more effectively developi...
Giancarlo Succi, Jason Yip, Eric Liu, Witold Pedry...