5451 search results - page 847 / 1091 » Typed Operational Semantics |
138
click to vote
SEMCO
2007
IEEE
16 years 1 days ago
2007
IEEE
We describe StartMobile, a prototype system that enables users of cellular telephones and other mobile devices to access information, create information and execute commands on th...
156
click to vote
SSDBM
2007
IEEE
16 years 1 days ago
2007
IEEE
As relational database management systems are applied to non-traditional domains such as scientific data management, there is an increasing need to support queries with semantics ...
156
click to vote
SSDBM
2007
IEEE
16 years 1 days ago
2007
IEEE
Memory management is a critical issue in stream processing involving stateful operators such as join. Traditionally, the memory requirement for a stream join is query-driven: a qu...
174
click to vote
AGTIVE
2007
Springer
15 years 12 months ago
2007
Springer
Abstract. Business-driven development is a methodology for developing IT solutions that directly satisfy business requirements. At its core are business processes, which are usuall...
145
click to vote
ECSQARU
2007
Springer
15 years 12 months ago
2007
Springer
Dynamic epistemic logic (DEL) as viewed by Baltag et col. and propositional dynamic logic (PDL) offer different semantics of events. On the one hand, DEL adds dynamics to epistem...