618 search results - page 83 / 124 » What We Can Learn about Business Modeling from Homeostasis |
192
Voted
CRYPTO
2006
Springer
15 years 10 months ago
2006
Springer
We present the first universally verifiable voting scheme that can be based on a general assumption (existence of a non-interactive commitment scheme). Our scheme is also the first...
161
click to vote
ISSTA
2009
ACM
16 years 1 months ago
2009
ACM
This paper presents techniques for analyzing channel contract specifications in Microsoft Research’s Singularity operating system. A channel contract is a state machine that sp...
195
Voted
AGENTS
1997
Springer
15 years 11 months ago
1997
Springer
The World-Wide-Web is less agent-friendly than we might hope. Most information on the Web is presented in loosely structured natural language text with no agent-readable semantics...
207
click to vote
BMCBI
2007
15 years 6 months ago
2007
Background: High-throughput peptide and protein identification technologies have benefited tremendously from strategies based on tandem mass spectrometry (MS/MS) in combination wi...
215
click to vote
AGS
2009
Springer
16 years 1 months ago
2009
Springer
We propose a novel approach to intelligent tutoring gaming simulations designed for both educational and inquiry purposes in complex multi-actor systems such as infrastructures or...