4887 search results - page 681 / 978 » System Level Design Using C |
125
click to vote
ACSD
2001
IEEE
15 years 8 months ago
2001
IEEE
One of the corner stones of formal methods is the notion traction enables analysis. By the construction of act model we can trade implementation detail for analytical power. The i...
114
click to vote
MFCS
1997
Springer
15 years 8 months ago
1997
Springer
Abstract. Action refinement in process algebras has been widely studied in the last few years as a means to support top-down design of systems. A specific notion of refinement aris...
139
click to vote
WICSA
2008
15 years 5 months ago
2008
Software patterns are generic solutions to recurring problems. They are represented as a triplet (problem, context, solution). Several kinds of software patterns were identified, ...
150
click to vote
WMI
2001
15 years 5 months ago
2001
This paper presents a novel wireless access point architecture designed to support the development of next generation mobile context-aware applications over metropolitan scale are...
124
click to vote
ECIS
2000
15 years 5 months ago
2000
- Events are at the core of reactive applications, which have become popular in many domains. Contemporary modeling tools lack the capability express the event semantics and relati...