Sciweavers

171 search results - page 25 / 35
» Exploring Very Low-Energy Logic: A Case Study
Sort
View
ICSE
2004
IEEE-ACM
16 years 6 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
16 years 18 days 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 10 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 10 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
15 years 7 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