4126 search results - page 118 / 826 » Relationships with other Formalisms |
176
click to vote
SAS
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. Linear-relations analysis of transition systems discovers linear invariant relationships among the variables of the system. These relationships help establish important s...
146
click to vote
INFOCOM
2006
IEEE
16 years 11 days ago
2006
IEEE
— Since the original work of Grossglauser and Tse, which showed that the mobility can increase the capacity of an ad hoc network, there has been a lot of interest in characterizi...
161
click to vote
CCIA
2005
Springer
15 years 12 months ago
2005
Springer
In this paper we extend the notion of multi-unit combinatorial reverse auction by adding a new dimension to the goods at auction. In such a new type of combinatorial auction a buye...
156
click to vote
DBPL
1993
Springer
15 years 10 months ago
1993
Springer
Fox Finding Objects of eXperiments is the declarative query language for Moose Modeling Objects Of Scienti c Experiments , an object-oriented data model at the core of a scient...
147
click to vote
FM
2006
Springer
15 years 10 months ago
2006
Springer
This paper addresses the frame problem for programming theories that support both sharing and encapsulation through specification variables. The concept of dynamic frames is introd...