Sciweavers

885 search results - page 69 / 177
» A Software Architecture for Industrial Automation
Sort
View
FAC
2007
170views more  FAC 2007»
13 years 8 months ago
Are the Logical Foundations of Verifying Compiler Prototypes Matching user Expectations?
Abstract. The Verifying Compiler (VC) project proposals suggest that mainstream software developers are its targeted end-users. Like other software engineering efforts, the VC proj...
Patrice Chalin
POLICY
2007
Springer
14 years 3 months ago
On Automated Policy Generation for Mobile Ad Hoc Networks
In this paper we describe an approach to the problem of automated policy generation for mobile ad hoc networks. The automated policy generation problem is difficult in its own rig...
Cho-Yu Jason Chiang, Gary Levin, Yitzchak Gottlieb...
SWS
2005
ACM
14 years 2 months ago
Web services enterprise security architecture: a case study
Web Services (WS hereafter) Security is a crucial aspect for technologies based on this paradigm to be completely adopted by the industry. As a consequence, a lot of initiatives h...
Carlos Gutiérrez, Eduardo Fernández-...
WWW
2004
ACM
14 years 9 months ago
Automating Design Support in Supply Chains on Semantic Web Services
The integration of four design attributes (componentcost, quality, function, and technology) streamlines product design by providing a multilateral view to designers that leads to...
Incheon Paik, Hiroyuki Akimoto, Shinjirou Takami
HICSS
2009
IEEE
155views Biometrics» more  HICSS 2009»
14 years 3 months ago
Collaborative Recommender Systems for Building Automation
Building Automation Systems (BASs) can save building owners money by reducing energy consumption while simultaneously preserving occupant comfort. There are algorithms that optimi...
Michael LeMay, Jason J. Haas, Carl A. Gunter