3056 search results - page 52 / 612 » Open Implementation Analysis and Design |
134
click to vote
STTT
2010
15 years 1 months ago
2010
Event-B is a formal method for system-level modelling and analysis. Key features of Event-B are the use of set theory as a modelling notation, the use of ent to represent systems a...
109
Voted
DELOS
2007
15 years 4 months ago
2007
The similarity search has become a fundamental computational task in many applications. One of the mathematical models of the similarity – the metric space – has drawn attenti...
101
Voted
USENIX
1993
15 years 3 months ago
1993
Recently, there has been an effort to specify an IEEE standard for portable operating systems for open systems, called POSIX. One part of it, the POSIX 1003.4a threads extension (...
100
Voted
EP
1998
Springer
15 years 6 months ago
1998
Springer
Abstract. In 1945, the Cairo Academy for the Arabic Language opened a contest to find the best project for simplification of the Arabic writing system. They received about 200 repl...
104
Voted
SFP
2003
15 years 4 months ago
2003
Abstract: Mobile computation enables computations to move between a dynamic set of locations, and is becoming an increasingly important paradigm. mHaskell is an extension of Haskel...