3868 search results - page 608 / 774 » Open Systems in TLA |
171
click to vote
FASE
2007
Springer
16 years 19 days ago
2007
Springer
Aspects are defined as well-modularized crosscutting concerns. Despite being a core tenet of Aspect Oriented Programming, little research has been done in characterizing and measur...
151
click to vote
GTTSE
2007
Springer
16 years 19 days ago
2007
Springer
Abstract. Feature Models (FMs) are a key artifact for variability and commonality management in Software Product Lines (SPLs). In this context, the merging of FMs is being recogniz...
200
click to vote
HUC
2007
Springer
16 years 19 days ago
2007
Springer
We describe a novel method for symbolic location discovery of simple objects. The method requires no infrastructure and relies on simple sensors routinely used in sensor nodes and ...
155
click to vote
ICDT
2007
ACM
16 years 19 days ago
2007
ACM
Close relationships between XML navigation and temporal logics have been discovered recently, in particular between logics LTL and CTL⋆ and XPath navigation, and between the µ-c...
154
click to vote
ICFCA
2007
Springer
16 years 19 days ago
2007
Springer
Pseudo-intents (also called pseudo-closed sets) of formal contexts have gained interest in recent years, since this notion is helpful for finding minimal representations of impli...