551 search results - page 74 / 111 » Realizability of Real-Time Logics |
145
click to vote
ATAL
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. Design by contract is a well known theory that views software construction as based on contracts between clients (callers) and suppliers (routines), relying on mutual obl...
154
Voted
DAC
1996
ACM
15 years 9 months ago
1996
ACM
This paper provides a case study that shows how a demanding application stresses the capabilities of today's CAD tools, especially in the integration of products from multipl...
168
click to vote
HCI
2007
15 years 7 months ago
2007
Abstract. A major challenge of Ambient Intelligence lies in building middleware that can ease service implementation through allowing the application developer to emphasize only th...
151
click to vote
IJNSEC
2007
15 years 5 months ago
2007
The widespread adoption of IEEE 802.11 wireless networks has brought its security paradigm under active research. One of the important research areas in this field is the realiza...
163
click to vote
TSMC
1998
15 years 5 months ago
1998
—A Neural integrated Fuzzy conTroller (NiF-T) which integrates the fuzzy logic representation of human knowledge with the learning capability of neural networks is developed for ...