Sciweavers

1842 search results - page 146 / 369
» Measurable systems and behavioral sciences
Sort
View
BIRTHDAY
2010
Springer
15 years 3 months ago
Quantitative Simulation Games
Abstract. Classical formalizations of systems and properties are boolean: given a system and a property, the property is either true or false of the system. The classical view part...
Pavol Cerný, Thomas A. Henzinger, Arjun Rad...
ENVSOFT
2007
108views more  ENVSOFT 2007»
15 years 6 months ago
Modeling biocomplexity - actors, landscapes and alternative futures
: Increasingly, models (and modelers) are being asked to address the interactions between human influences, ecological processes, and landscape dynamics that impact many diverse as...
John P. Bolte, David W. Hulse, Stanley V. Gregory,...
EMSOFT
2004
Springer
15 years 12 months ago
An experimental analysis of the effect of the operating system on memory performance in embedded multimedia computing
As embedded systems grow in size and complexity, an operating system has become essential to simplify the design of system software, for which more accurate analysis of its impact...
Sangsoo Park, Yonghee Lee, Heonshik Shin
TCOM
2010
130views more  TCOM 2010»
15 years 5 months ago
On modeling, analysis, and optimization of packet aggregation systems
Abstract—In packet communication systems, a header is attached to the transmitted packet at each layer. The overhead due to the transmission of the individual header can have a s...
Jung Ha Hong, Khosrow Sohraby
ICNP
2003
IEEE
15 years 12 months ago
A File-Centric Model for Peer-to-Peer File Sharing Systems
Peer-to-peer systems have quickly become a popular way for file sharing and distribution. In this paper, we focus on the subsystem consisting of peers and their actions relative ...
Li Zou, Mostafa H. Ammar