Sciweavers

7209 search results - page 455 / 1442
» Software Engineering for Multi-Agent Systems
Sort
View
119
Voted
TACS
2001
Springer
15 years 8 months ago
Fixed-Point Logic with the Approximation Modality and Its Kripke Completeness
Abstract. We present two modal typing systems with the approximation modality, which has been proposed by the author to capture selfreferences involved in computer programs and the...
Hiroshi Nakano
UIST
1995
ACM
15 years 7 months ago
Speech for Multimedia Information Retrieval
We describe the Informediatm News-on-Demand system. News-on-Demand is an innovative example of indexing and searching broadcast video and audio material by text content. The fully...
Alexander G. Hauptmann, Michael J. Witbrock, Alexa...
CISSE
2008
Springer
15 years 5 months ago
Modified LEACH - Energy Efficient Wireless Networks Communication
Many algorithms and techniques were proposed to increase the efficiency of Sensor Networks. Due to high restrictions of this kind of networks, where the resources are limited, many...
Mohammed Abuhelaleh, Khaled M. Elleithy, Thabet M....
151
Voted
RE
2010
Springer
14 years 10 months ago
Dependability Arguments with Trusted Bases
An approach is suggested for arguing that a system is dependable. The key idea is to structure the system so that critical requirements are localized in small, reliable subsets of ...
Eunsuk Kang, Daniel Jackson
124
Voted
IFIP
1989
Springer
15 years 7 months ago
Industrial Strength Software Development Environments
‘‘Industrial strength’’ software development environments (SDEs) must provide facilities to address three essential properties of multi-developer software systems: evoluti...
Dewayne E. Perry