Sciweavers

975 search results - page 120 / 195
» Feature Interaction Problem in Computer-Telephony Integratio...
Sort
View
CN
2002
102views more  CN 2002»
15 years 2 months ago
Formal methods for communication services: meeting the industry expectations
We survey formal methods as they are applied to the development of communication services. We report on industrial and academic projects, consider di erent communication architect...
Falk Dietrich, Jean-Pierre Hubaux
NAR
2007
81views more  NAR 2007»
15 years 1 months ago
Pseudogene.org: a comprehensive database and comparison platform for pseudogene annotation
The Pseudogene.org database serves as a comprehensive repository for pseudogene sequence annotation. The definition of a pseudogene varies within the literature, resulting in sign...
John E. Karro, Yangpan Yan, Deyou Zheng, Zhaolei Z...
114
Voted
RAS
2008
150views more  RAS 2008»
15 years 1 months ago
Logic-based robot control in highly dynamic domains
In this paper we present the robot programming and planning language Readylog, a Golog dialect which was developed to support the decision making of robots acting in dynamic real-...
Alexander Ferrein, Gerhard Lakemeyer
ISIM
2007
15 years 3 months ago
Component Model with Support of Mobile Architectures
Common features of current information systems have significant impact on software architectures of these systems. The systems can not be realised as monoliths, formal specifica...
Marek Rychlý
CHI
2005
ACM
16 years 2 months ago
Intelligent lighting for a better gaming experience
Lighting assumes many aesthetic and communicative functions in game environments that affect attention, immersion, visibility, and emotions. Game environments are dynamic and high...
Magy Seif El-Nasr, Joseph A. Zupko, Keith Miron