Sciweavers

302 search results - page 24 / 61
» Science in the Palms of Their Hands
Sort
View
DESRIST
2010
Springer
193views Education» more  DESRIST 2010»
14 years 11 days ago
Applying Design Research Artifacts for Building Design Research Artifacts: A Process Model for Enterprise Architecture Planning
Enterprise architecture (EA) describes the fundamental structure of an organization from business to IT. EA as a practice as well as a research topic has been around for several ye...
Stephan Aier, Bettina Gleichauf
STACS
2009
Springer
14 years 3 days ago
Asymptotically Optimal Lower Bounds on the NIH-Multi-Party Information Complexity of the AND-Function and Disjointness
Here we prove an asymptotically optimal lower bound on the information complexity of the k-party disjointness function with the unique intersection promise, an important special ca...
Andre Gronemeier
FM
1994
Springer
113views Formal Methods» more  FM 1994»
13 years 11 months ago
Abstract Model Checking of Infinite Specifications
Model Checking of Infinite Specifications Daniel Jackson School of Computer Science Carnegie Mellon University Pittsburgh, PA A new method for analyzing specifications in languages...
Daniel Jackson
CCGRID
2008
IEEE
13 years 9 months ago
Formal Verification of a Grid Resource Allocation Protocol
As the adoption of grid technology moves from science to industry, new requirements arise. In todays grid middlewares, the notion of paying for a job is a secondary requirement. In...
Mathias Dalheimer, Franz-Josef Pfreundt, Peter Mer...
COMPUTER
2010
147views more  COMPUTER 2010»
13 years 7 months ago
Authentication by Biometric Verification
:-Biometrics is the science and technology of measuring and analyzing biological data. In information technology, biometrics refers to technologies that measure and analyze human b...
Ron Vetter