Sciweavers

1755 search results - page 288 / 351
» Design and Implementation of Virtual Organizations
Sort
View
93
Voted
TACAS
2007
Springer
92views Algorithms» more  TACAS 2007»
15 years 6 months ago
Model Checking Liveness Properties of Genetic Regulatory Networks
Abstract. Recent studies have demonstrated the possibility to build genetic regulatory networks that confer a desired behavior to a living organism. However, the design of these ne...
Grégory Batt, Calin Belta, Ron Weiss
79
Voted
ICSM
2006
IEEE
15 years 6 months ago
Reengineering User Interfaces of E-Commerce Applications Using Business Processes
E-commerce applications are designed to streamline the business processes for an organization. Graphical user interfaces allow business users to perform daily business activities ...
Qi Zhang, Rongchao Chen, Ying Zou
108
Voted
HICSS
2005
IEEE
143views Biometrics» more  HICSS 2005»
15 years 6 months ago
Evaluating PACS Success: A Multidimensional Model
A picture archiving and communications system (PACS) is an integrated workflow system for managing images and related data which is designed to streamline operations throughout th...
Guy Paré, David Aubry, Luigi Lepanto, Claud...
104
Voted
WECWIS
2005
IEEE
140views ECommerce» more  WECWIS 2005»
15 years 6 months ago
Developing Flexible Service Portals
Flexible workflow systems are needed for processes that need consistency as well as flexibility (e.g., personalized client interactions). A methodology for designing flexible serv...
Beat Liver, Jeannette Braun, Beatrix Rentsch, Pete...
96
Voted
ANCS
2005
ACM
15 years 6 months ago
High-throughput linked-pattern matching for intrusion detection systems
This paper presents a hardware architecture for highly efficient intrusion detection systems. In addition, a software tool for automatically generating the hardware is presented....
Zachary K. Baker, Viktor K. Prasanna