Sciweavers

7139 search results - page 815 / 1428
» Language Engineering in Practice
Sort
View
MOBIQUITOUS
2007
IEEE
16 years 1 months ago
Using Semantic Policies to Reason over User Availability
— According to the IETF definition, “presence conveys the ability and willingness of a user to communicate across a set of devices”. In this paper we use semantic techniques ...
Sandford Bessler, Joachim Zeiss
182
Voted
MODELS
2007
Springer
16 years 1 months ago
Scenario Integration via the Transformation and Manipulation of Higher-order Graphs
The integration of different models, such as scenarios, is an important component of the requirements engineer’s work. If manually performed, the integration operation is error-...
Hongzhi Liang
FOSSACS
2005
Springer
16 years 25 days ago
Third-Order Idealized Algol with Iteration Is Decidable
The problems of contextual equivalence and approximation are studied for the third-order fragment of Idealized Algol with iteration (IA∗ 3). They are approached via a combination...
Andrzej S. Murawski, Igor Walukiewicz
LCTRTS
2005
Springer
16 years 24 days ago
Software design patterns for TinyOS
— We present design patterns used by software components in the TinyOS operating system. They differ significantly from traditional software design patterns due to TinyOS’s fo...
David Gay, Philip Levis, David E. Culler
ECLIPSE
2004
ACM
16 years 22 days ago
Supporting Java traits in Eclipse
Traits are a language technology that complements inheritance as a means for code reuse and class structuring. Traits encapsulate collections of methods so that they can be used a...
Philip J. Quitslund, Emerson R. Murphy-Hill, Andre...