Sciweavers

287 search results - page 32 / 58
» Guidelines From Organizational Requirements to Formal Specif...
Sort
View
JITECH
2008
86views more  JITECH 2008»
14 years 11 months ago
Generic verticalization strategies in enterprise system markets: An exploratory framework
In recent years, enterprise system (ES) software markets have been very dynamic. While contemporary customers are increasingly seeking ES solutions that require less and less cust...
Lior Fink, Sarit Markovich
HICSS
2006
IEEE
124views Biometrics» more  HICSS 2006»
15 years 5 months ago
Perceptions of Agility and Collaboration in Software Development Practice
Agility is a facet of software development attracting increasing interest. The purpose of this paper is to investigate the value of agility in practice. Data collected from senior...
Chaitali Patel, Mark Lycett, Robert D. Macredie, S...
PKC
2009
Springer
180views Cryptology» more  PKC 2009»
16 years 11 days ago
Security of Sanitizable Signatures Revisited
Sanitizable signature schemes, as defined by Ateniese et al. (ESORICS 2005), allow a signer to partly delegate signing rights to another party, called the sanitizer. That is, the s...
Anja Lehmann, Christina Brzuska, Dominique Schr&ou...
CAISE
2010
Springer
15 years 28 days ago
Modeling and Reasoning about Service-Oriented Applications via Goals and Commitments
Abstract. Service-oriented applications facilitate the exchange of business services among participants. Existing modeling approaches either apply at a lower of abstraction than re...
Amit K. Chopra, Fabiano Dalpiaz, Paolo Giorgini, J...
FORMATS
2006
Springer
15 years 3 months ago
Integrating Discrete- and Continuous-Time Metric Temporal Logics Through Sampling
Abstract. Real-time systems usually encompass parts that are best described by a continuous-time model, such as physical processes under control, together with other components tha...
Carlo A. Furia, Matteo Rossi