2162 search results - page 380 / 433 » Automated Reasoning on Feature Models |
127
click to vote
ICDCS
2005
IEEE
15 years 9 months ago
2005
IEEE
We present middleware for a Server Development Environment that facilitates live development of SOAP and CORBA servers. As the underlying implementation platform, we use JPie, a t...
128
Voted
ICRA
2005
IEEE
15 years 9 months ago
2005
IEEE
— The recent progress in robot mapping (or SLAM) algorithms has focused on estimating either point features (such as landmarks) or grid-based representations. Both of these repre...
133
click to vote
WEBDB
2010
Springer
15 years 9 months ago
2010
Springer
We introduce and study concurrent One-Way Protocols in social networks. The model is motivated by the rise of online social networks and the fast development of automation feature...
115
click to vote
VR
1999
IEEE
15 years 8 months ago
1999
IEEE
The Virtual Assembly Design Environment (VADE) is a Virtual Reality (VR) based engineering application which allows engineers to evaluate, analyze, and plan the assembly of mechan...
140
click to vote
DALT
2007
Springer
15 years 7 months ago
2007
Springer
We present a novel approach to knowledge-based automated one-shot multi-issue bilateral negotiation handling, in a homogeneous setting, both numerical features and non-numerical on...