3688 search results - page 165 / 738 » Static analysis of aspects |
168
click to vote
ER
2008
Springer
15 years 7 months ago
2008
Springer
The TOWL language is a temporal ontology language built on top of OWL-DL that enables descriptions involving time and temporal aspects such as change and state transitions. Extendi...
144
click to vote
APAL
2006
15 years 6 months ago
2006
We develop fundamental aspects of the theory of metric, Hilbert, and Banach spaces in the context of subsystems of second-order arithmetic. In particular, we explore issues having...
162
click to vote
SAGT
2009
Springer
16 years 1 months ago
2009
Springer
We study Nash equilibria and the price of anarchy in the context of flows over time. Many results on static routing games have been obtained over the last ten years. In flows ov...
153
click to vote
HICSS
2006
IEEE
16 years 17 days ago
2006
IEEE
Profiles have become a common mechanism for presenting one’s identity online. With the popularity of online social networking services such as Friendster.com, Profiles have been...
196
click to vote
IWPC
2006
IEEE
16 years 16 days ago
2006
IEEE
Large software systems have a rich development history. Mining certain aspects of this rich history can reveal interesting insights into the system and its structure. Previous app...