Sciweavers

271 search results - page 28 / 55
» A New Electronic Cash Model
Sort
View
WSC
2007
13 years 10 months ago
Agent-based modeling and simulation: desktop ABMS
Agent-based modeling and simulation (ABMS) is a new approach to modeling systems comprised of autonomous, interacting agents. ABMS promises to have far-reaching effects on the way...
Charles M. Macal, Michael J. North
WSC
2008
13 years 10 months ago
Agent-based modeling and simulation: ABMS examples
Agent-based modeling and simulation (ABMS) is a new approach to modeling systems comprised of autonomous, interacting agents. ABMS promises to have far-reaching effects on the way...
Charles M. Macal, Michael J. North
DATE
2010
IEEE
163views Hardware» more  DATE 2010»
13 years 12 months ago
Efficient High-Level modeling in the networking domain
-- Starting Electronic System Level (ESL) design flows with executable High-Level Models (HLMs) has the potential to sustainably improve productivity. However, writing good HLMs fo...
Christian Zebelein, Joachim Falk, Christian Haubel...
ACMICEC
2006
ACM
112views ECommerce» more  ACMICEC 2006»
14 years 1 months ago
Persistent information security: beyond the e-commerce threat model
This paper introduces a new class of information security solution. The core technology, to authorize and track the use of digital files, was originally developed in eCommerce app...
Merv Matson, Mihaela Ulieru
FM
1999
Springer
161views Formal Methods» more  FM 1999»
13 years 11 months ago
Combining Theorem Proving and Continuous Models in Synchronous Design
Support for system speci cation in terms of modelling and simulation environments has become a common practice in safety-critical applications. Also, a current trend is the automat...
Simin Nadjm-Tehrani, Ove Åkerlund