Sciweavers

5681 search results - page 794 / 1137
» A Domain Model for eParticipation
Sort
View
IROS
2008
IEEE
156views Robotics» more  IROS 2008»
16 years 1 months ago
Bayesian state estimation and behavior selection for autonomous robotic exploration in dynamic environments
— In order to be truly autonomous, robots that operate in natural, populated environments must have the ability to create a model of these unpredictable dynamic environments and ...
Georgios Lidoris, Dirk Wollherr, Martin Buss
ISMVL
2007
IEEE
104views Hardware» more  ISMVL 2007»
16 years 1 months ago
Evaluation of Toggle Coverage for MVL Circuits Specified in the SystemVerilog HDL
Designing modern circuits comprised of millions of gates is a very challenging task. Therefore new directions are investigated for efficient modeling and verification of such syst...
Mahsan Amoui, Daniel Große, Mitchell A. Thor...
SEUS
2007
IEEE
16 years 1 months ago
Mission Modes for Safety Critical Java
Java is now considered as a language for the domain of safety critical applications. A restricted version of the Real-Time Specification for Java (RTSJ) is currently under develop...
Martin Schoeberl
SOCA
2007
IEEE
16 years 1 months ago
Context-aware Process Support through Automatic Selection and Invocation of Semantic Web Services
Current technologies aimed at supporting processes – whether it is a business process or a learning process – are usually based on using a dedicated set of metadata to describ...
Stefan Dietze, Alessio Gugliotta, John Domingue
TASE
2007
IEEE
16 years 1 months ago
Constraint-Based Policy Negotiation and Enforcement for Telco Services
Telco services are evolving under several aspects: for instance, services may combine different telecommunication features (messaging, multi-media, etc.) and may be activated and...
Maria Grazia Buscemi, Laura Ferrari, Corrado Moiso...