Sciweavers

8676 search results - page 1472 / 1736
» Reconciling Feature Modeling: A Feature Modeling Metamodel
Sort
View
MIDDLEWARE
2007
Springer
16 years 22 days ago
SPS: a middleware for multi-user sensor systems
With the increased realisation of the benefits of studying environmental data, sensor networks are rapidly scaling in size, heterogeneity of data, and applications. In this paper...
Salman Taherian, Jean Bacon
NEW2AN
2007
Springer
16 years 22 days ago
Real Life Field Trial over a Pre-mobile WiMAX System with 4th Order Diversity
Mobile WiMAX is a promising wireless technology approaching market deployment. Much discussion concentrate on whether mobile WiMAX will reach a tipping point and become 4G or not. ...
Pål Grønsund, Paal Engelstad, Moti Ay...
OOPSLA
2007
Springer
16 years 22 days ago
Synthesizing reactive systems from LSC requirements using the play-engine
Live Sequence Charts (LSCs) is a scenario-based language for modeling object-based reactive systems with liveness properties. A tool called the Play-Engine allows users to create ...
Hillel Kugler, Cory Plock, Amir Pnueli
ROBOCUP
2007
Springer
140views Robotics» more  ROBOCUP 2007»
16 years 22 days ago
Tailored Real-Time Simulation for Teams of Humanoid Robots
Abstract. Developing and testing the key modules of autonomous humanoid soccer robots (e.g., for vision, localization, and behavior control) in software-in-the-loop (SIL) experimen...
Martin Friedmann, Karen Petersen, Oskar von Stryk
RR
2007
Springer
16 years 22 days ago
A Semantic Framework for Language Layering in WSML
Abstract. WSML presents a framework encompassing different language variants, rooted in Description Logics and (F-)Logic Programming. So far, the precise relationships between thes...
Jos de Bruijn, Stijn Heymans
« Prev « First page 1472 / 1736 Last » Next »