5630 search results - page 185 / 1126 » Computability in Specification |
117
Voted
BIRTHDAY
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. To support model-based development and analysis of embedded systems, the specification language VDM++ has been extended with asynchronous communication and improved timin...
109
click to vote
BCSHCI
2007
15 years 6 months ago
2007
Sketch-based tools provide a more human centered design environment than traditional widget-based computer design software. A number of sketch tools exist that support specific de...
142
Voted
AAAI
1994
15 years 6 months ago
1994
In this paper we consider updates that are specified as rules and consider simple knowledge bases consisting of ground atoms. We present a translation of the rule based update spe...
145
Voted
GPC
2009
Springer
15 years 2 months ago
2009
Springer
In this paper, we propose an extension to the I/O device architecture, as recommended in the PCI-SIG IOV specification, for virtualizing network I/O devices. The aim is to enable ...
124
Voted
ICPR
2006
IEEE
16 years 5 months ago
2006
IEEE
This paper shows how Social Network Analysis, the study of relational data in specific social environments, can be used to summarize multiparty radio news recordings. A social net...