7209 search results - page 350 / 1442 » Software Engineering for Multi-Agent Systems |
103
Voted
AMAST
2008
Springer
15 years 2 months ago
2008
Springer
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...
101
Voted
SIGSOFT
2004
ACM
15 years 6 months ago
2004
ACM
A type system for object models is described that supports subtypes and allows overloading of relation names. No special features need be added to the modelling language; in parti...
107
Voted
ICESS
2004
Springer
15 years 6 months ago
2004
Springer
In this paper we present a new modeling technique using software engineering tool Flow Model for modeling and solving the Dynamic Power Management (DPM) with complex behavioral cha...
96
Voted
EMSOFT
2001
Springer
15 years 5 months ago
2001
Springer
Abstract. Embedded systems for safety-critical applications often integrate multiple “functions” and must generally be fault-tolerant. These requirements lead to a need for mec...
101
click to vote
CODES
2000
IEEE
15 years 5 months ago
2000
IEEE
This paper presents a complete codesign environment for embedded systems which combines automatic partitioning with reuse from a module database. Special emphasis has been put on ...