Sciweavers

4007 search results - page 390 / 802
» Automotive Software Integration
Sort
View
241
Voted
XIMEP
2005
ACM
106views Database» more  XIMEP 2005»
16 years 1 months ago
Combining a Publish and Subscribe Collaboration Architecture with XQuery Approaches
Markup languages, representations, schemas, and tools have significantly increased the ability for organizations to share their information. Languages such as the Extensible Marku...
M. Brian Blake, David H. Fado, Gregory A. Mack
SEFM
2003
IEEE
16 years 25 days ago
From Requirements to Design: Formalizing the Key Steps
Despite the advances in software engineering since 1968, current methods for going from a set of functional requirements to a design are not as direct, repeatable and constructive...
R. Geoff Dromey
AMAST
2006
Springer
15 years 11 months ago
Formal Islands
Abstract. Motivated by the proliferation and usefulness of Domain Specific Languages as well as the demand in enriching well established languages by high level capabilities like p...
Emilie Balland, Claude Kirchner, Pierre-Etienne Mo...
CODES
2001
IEEE
15 years 11 months ago
A constraint-based application model and scheduling techniques for power-aware systems
New embedded systems must be power-aware, not just low-power. That is, they must track their power sources and the changingpower and performance constraints imposed by the environ...
Jinfeng Liu, Pai H. Chou, Nader Bagherzadeh, Fadi ...
NSDI
2008
15 years 10 months ago
Detecting In-Flight Page Changes with Web Tripwires
While web pages sent over HTTP have no integrity guarantees, it is commonly assumed that such pages are not modified in transit. In this paper, we provide evidence of surprisingly...
Charles Reis, Steven D. Gribble, Tadayoshi Kohno, ...