1299 search results - page 35 / 260 » EMC - A modeling method for developing web-based application... |
CAV
2011
Springer
12 years 11 months ago
2011
Springer
Abstract. Quantified Boolean formulae (QBF) allow compact encoding of many decision problems. Their importance motivated the development of fast QBF solvers. Certifying the result...
ITICSE
2004
ACM
14 years 1 months ago
2004
ACM
The use of generic and generative methods for the development and application of interactive educational software is a relatively unexplored area in industry and education. Advant...
ICWS
2004
IEEE
13 years 9 months ago
2004
IEEE
The advent of Web services has made automated workflow composition relevant to Web based applications. One technique that has received some attention, for automatically composing ...
ROMAN
2007
IEEE
14 years 1 months ago
2007
IEEE
— For controlling robots in an urban search and rescue (USAR) application, we present a wearable joystick with improved sensing capability as well as Giant MagnetoResistance(GMR)...
CLEIEJ
2010
13 years 5 months ago
2010
This work presents a method for the definition of process capability profiles lined up with the specific business model of small software companies. The developed method is made u...