11151 search results - page 246 / 2231 » On the Complexity of Model Expansion |
222
click to vote
LPAR
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. We consider the temporal logic with since and until modalities. This temporal logic is expressively equivalent over the class of ordinals to first-order logic thanks to ...
195
click to vote
CIG
2006
IEEE
16 years 1 months ago
2006
IEEE
The Voronoi game is a two-person game which is a model for a competitive facility location. The game is done on a continuous domain, and only two special cases (1-dimensional case ...
180
click to vote
SCW
2006
IEEE
16 years 1 months ago
2006
IEEE
One of the key aspects in the implementation of reactive behaviour in the web and, most importantly, in the semantic web is the development of event detection engines. An event en...
150
click to vote
DATE
2005
IEEE
16 years 26 days ago
2005
IEEE
UML is gaining increased attention as a system design language, as indicated by current standardization activities such as the SysML initiative and the UML for SoC Forum. Moreover...
206
click to vote
ICECCS
2005
IEEE
16 years 25 days ago
2005
IEEE
Mobile code solutions can improve the performances of applications over the Internet by reducing the amount of data that must be transferred across the network. The research on ge...