411 search results - page 56 / 83 » Algebraic Imperative Specifications |
ICSE
2003
IEEE-ACM
16 years 2 months ago
2003
IEEE-ACM
Step-wise refinement is a powerful paradigm for developing a complex program from a simple program by adding features incrementally. We present the AHEAD (Algebraic Hierarchical Eq...
MOBISYS
2005
ACM
16 years 1 months ago
2005
ACM
This paper describes the implementation of an attack on the Bluetooth security mechanism. Specifically, we describe a passive attack, in which an attacker can find the PIN used du...
111
click to vote
TASE
2007
IEEE
15 years 8 months ago
2007
IEEE
Design patterns capture expert design experience in generic design structure and behavior. A design pattern needs to be instantiated before using. It can be integrated with other ...
100
click to vote
GEOS
2005
Springer
15 years 7 months ago
2005
Springer
This paper analyses reported difficulties in spatial data retrieval from Internet portals, based on results from an empirical survey. The analysis reveals the problems which cause ...
114
click to vote
AC
2003
Springer
15 years 7 months ago
2003
Springer
Abstract. A mathematical semantics is proposed for the notion of architectural connector, in the style defined by Allen and Garlan, that builds on Goguen’s categorical approach t...