1549 search results - page 281 / 310 » A Formal Approach for the Development of Automated Systems |
HUC
2004
Springer
14 years 23 days ago
2004
Springer
As the trend towards technology-enriched home environments progresses, the need to enable users to create applications to suit their own lives increases. While several recent proje...
TVLSI
2008
13 years 7 months ago
2008
Much effort in register transfer level (RTL) design has been devoted to developing "push-button" types of tools. However, given the highly complex nature, and lack of con...
ICSOC
2010
Springer
13 years 5 months ago
2010
Springer
Business and scientific workflow management systems (WfMS) offer different features to their users because they are developed for different application areas with different require...
GIS
2006
ACM
14 years 8 months ago
2006
ACM
Location information gathered from a variety of sources in the form of sensor data, video streams, human observations, and so on, is often imprecise and uncertain and needs to be ...
ICSOC
2007
Springer
14 years 1 months ago
2007
Springer
The user-centric service creation paradigm set out in Web 2.0 technologies on the Internet allows users to define and share their new content and applications. Open services and in...