Sciweavers

3837 search results - page 210 / 768
» Concurrent Engineering support in Software Engineering
Sort
View
CODES
1994
IEEE
15 years 8 months ago
A prototyping environment for hardware/software codesign in the COBRA project
We present a prototyping environment with special benefit for hardware/software codesign which we use as target architecture in the COBRA project1 . This architecture is very flex...
Gernot Koch, Udo Kebschull, Wolfgang Rosenstiel
TACS
1994
Springer
15 years 7 months ago
A Theory of Primitive Objects - Untyped and First-Order Systems
We introduce simple object calculi that support method override and object subsumption. We give an untyped calculus, typing rules, and equational rules. We illustrate the expressi...
Martín Abadi, Luca Cardelli
VAMOS
2008
Springer
15 years 5 months ago
Variability Management on Behavioral Models
This paper deals with managing variability on behavioral models. Such models are generally more complex, less tractable by hand than the static, structural parts of a system descr...
Patrick Tessier, David Servat, Sébastien G&...
AVI
2000
15 years 5 months ago
A Visual Tool for Querying Geographic Databases
To support users in querying geographic databases we have developed a system that lets people sketch what they are looking for. It closes the gap between user and information syst...
Andreas D. Blaser, Max J. Egenhofer
SOCO
2010
Springer
14 years 10 months ago
Reasoning about fuzzy temporal information from the web: towards retrieval of historical events
Abstract When searching for information about historical events, queries are naturally formulated using temporal constraints. However, the structured temporal information needed to...
Steven Schockaert, Martine De Cock, Etienne E. Ker...