2678 search results - page 504 / 536 » Operational Semantics of Transactions |
119
Voted
COORDINATION
2004
Springer
15 years 7 months ago
2004
Springer
The increasing ubiquity of mobile devices has led to an explosion in the development of applications tailored to the particular needs of individual users. As the research communit...
140
Voted
WECWIS
2003
IEEE
15 years 7 months ago
2003
IEEE
The rapid growth of the World Wide Web and the Internet has fueled interest in Web services and the Semantic Web, which are quickly becoming important parts of modern electronic c...
105
click to vote
CICLING
2003
Springer
15 years 6 months ago
2003
Springer
In setting up a formal system to specify a grammar formalism, the conventional (mathematical) wisdom is to start with primitives (basic primitive structures) as simple as possible...
139
click to vote
WOLLIC
2010
Springer
15 years 6 months ago
2010
Springer
Abstract. We present a modal language that includes explicit operators to count the number of elements that a model might include in the extension of a formula, and we discuss how ...
119
click to vote
ECAI
2000
Springer
15 years 6 months ago
2000
Springer
Several high-level programming languages for programming agents and robots have been proposed in recent years. Each of these languages has its own features and merits. It is still...