Sciweavers

4245 search results - page 402 / 849
» Integrating Software by Integrating People
Sort
View
AMAST
2006
Springer
15 years 10 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 10 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 9 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, ...
164
Voted
CANDC
2005
ACM
15 years 8 months ago
The amateur creator
Important design problems are raised in developing software for amateur users, a group distinguished here from novices. The authors argue that these design problems can be approac...
Stephen Boyd Davis, Magnus Moar
SAC
2006
ACM
15 years 6 months ago
Transforming OCL constraints: a context change approach
Integrity constraints (ICs) play a key role in the definition of conceptual schemas. In the UML, ICs are usually specified as invariants written in the OCL. However, due to the hi...
Jordi Cabot, Ernest Teniente