3091 search results - page 54 / 619 » The Microsoft Relational Engine |
165
Voted
CADE
2007
Springer
16 years 6 months ago
2007
Springer
This paper presents an overview of the verication framework ALICE in its current version 0.7. It is based on the generic theorem prover Isabelle [Pau03a]. Within ALICE a software o...
149
Voted
OOIS
1997
Springer
15 years 10 months ago
1997
Springer
Multidimensional discrete data (MDD), i.e. arrays of arbitrary size, dimension and base type, occur in a variety of application elds. The object-oriented DBMS RasDaMan2 provides d...
133
click to vote
HCI
2007
15 years 7 months ago
2007
A growing interest is seen for designing intelligent environments that support personally meaningful, sociable and rich everyday experiences. In this paper we describe an intellige...
142
Voted
LOGCOM
2002
15 years 5 months ago
2002
In the area of agent-based computing there are many proposals for specific system architectures, and a number of proposals for general approaches to building agents. As yet, howev...
146
Voted
ISSTA
2009
ACM
16 years 20 days ago
2009
ACM
This paper presents techniques for analyzing channel contract specifications in Microsoft Research’s Singularity operating system. A channel contract is a state machine that sp...