Sciweavers

3555 search results - page 269 / 711
» Security-Critical System Development with Extended Use Cases
Sort
View
HICSS
2006
IEEE
138views Biometrics» more  HICSS 2006»
16 years 9 days ago
Explaining ICT Infrastructure and E-Commerce Uses and Benefits in Industrial Clusters: Evidence from a Biotech Cluster
The literature on industrial clusters has not focused heavily on the role of the ICT infrastructure, nor on the potential implications of electronic commerce . In this paper, we e...
Charles Steinfield, Ada Scupola
CSMR
2005
IEEE
15 years 12 months ago
Correlating Features and Code Using a Compact Two-Sided Trace Analysis Approach
Software developers are constantly required to modify and adapt application features in response to changing requirements. The problem is that just by reading the source code, it ...
Orla Greevy, Stéphane Ducasse
ISTA
2004
15 years 7 months ago
Applying Web Service Compositions in Systems Management
: Systems management in any organization depends exclusively on the efforts of a system administrator. Every change in the IT infrastructure landscape requires changes in the syste...
Dimka Karastoyanova
TARK
2005
Springer
15 years 11 months ago
First-order classical modal logic: applications in logics of knowledge and probability
The paper focuses on extending to the first order case the semantical program for modalities first introduced by Dana Scott and Richard Montague. We focus on the study of neighb...
Horacio L. Arló-Costa, Eric Pacuit
DSS
2006
138views more  DSS 2006»
15 years 6 months ago
Design of a shopbot and recommender system for bundle purchases
The increasing proliferation of online shopping and purchasing has naturally led to a growth in the popularity of comparisonshopping search engines, popularly known as "shopb...
Robert S. Garfinkel, Ram D. Gopal, Arvind K. Tripa...