Sciweavers

4799 search results - page 671 / 960
» Model Based Requirements Engineering for Embedded Software
Sort
View
ACMICEC
2005
ACM
156views ECommerce» more  ACMICEC 2005»
16 years 5 days ago
Establishing and maintaining compatibility in service oriented business collaboration
Current composite web service development and management solutions, e.g. BPEL, do not cater for assessing and maintaining comparability of business partners during business collab...
Bart Orriëns, Jian Yang
CSCWD
2005
Springer
15 years 8 months ago
Analytic Evaluation of Groupware Design
We propose an analytic method to evaluate groupware design. The method was inspired by GOMS, a well-known approach to analyze usability problems with single-user interfaces. GOMS h...
Pedro Antunes, Marcos R. S. Borges, José A....
GECCO
2006
Springer
202views Optimization» more  GECCO 2006»
15 years 10 months ago
Human competitive security protocols synthesis
This poster paper outlines a method for a search based approach to the development of provably correct protocols. Categories and Subject Descriptors C.2.2 [Computer Communication ...
Hao Chen, John A. Clark, Jeremy Jacob
CSSW
2007
15 years 8 months ago
Semantic Integrator: Semi-Automatically Enhancing Social Semantic Web Environments
Abstract: Large amounts of information from various sources have often to be considered when collaboratively developing semantic structures. Examining all relevant information can ...
Steffen Lohmann, Philipp Heim, Jürgen Ziegler
TASE
2008
IEEE
15 years 6 months ago
Stochastic Modeling of an Automated Guided Vehicle System With One Vehicle and a Closed-Loop Path
Abstract--The use of automated guided vehicles (AGVs) in material-handling processes of manufacturing facilities and warehouses isbecomingincreasinglycommon.AcriticaldrawbackofanAG...
Aykut F. Kahraman, Abhijit Gosavi, Karla J. Oty