Sciweavers

171 search results - page 25 / 35
» Exploring Very Low-Energy Logic: A Case Study
Sort
View
ICSE
2004
IEEE-ACM
15 years 9 months ago
Managing Commitments and Risks: Challenges in Distributed Agile Development
Software development is always a challenging undertaking and it requires high commitments from individuals who participate in it. Software development often involves new technolog...
Jan Rydén, Jyrki Kontio, Magnus Höglun...
WEBI
2009
Springer
15 years 4 months ago
Revealing Hidden Community Structures and Identifying Bridges in Complex Networks: An Application to Analyzing Contents of Web P
The emergence of scale free and small world properties in real world complex networks has stimulated lots of activity in the field of network analysis. An example of such a netwo...
Faraz Zaidi, Arnaud Sallaberry, Guy Melanço...
FM
2001
Springer
108views Formal Methods» more  FM 2001»
15 years 1 months ago
Improvements in BDD-Based Reachability Analysis of Timed Automata
To develop efficient algorithms for the reachability analysis of timed automata, a promising approach is to use binary decision diagrams (BDDs) as data structure for the representa...
Dirk Beyer
EUROCRYPT
1998
Springer
15 years 1 months ago
Strengthened Security for Blind Signatures
Abstract. Provable security is a very nice property for cryptographic protocols. Unfortunately, in many cases, this is at the cost of a considerable loss in terms of efficiency. Mo...
David Pointcheval
ECIS
2003
14 years 10 months ago
A qualitative approach to investigating the behavioural definitions of the four-paradigm theory of information systems developme
Hirschheim, Klein and Lyytinen introduced the four-paradigm theory of information systems development (ISD) as a significant attempt to systematise developer assumptions. The theo...
Donal J. Flynn, Zahid I. Hussain