4418 search results - page 623 / 884 » A Formal Approach to Computer Systems Requirements Documenta... |
181
click to vote
ARC
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. Monte Carlo simulation is one of the most widely used techniques for computationally intensive simulations in mathematical analysis and modeling. A multivariate Gaussian ...
180
click to vote
AI
2000
Springer
15 years 6 months ago
2000
Springer
Agent-based computing represents an exciting new synthesis both for Artificial Intelligence (AI) and, more generally, Computer Science. It has the potential to significantly impro...
155
click to vote
MICRO
2003
IEEE
15 years 12 months ago
2003
IEEE
Application-specific extensions to the computational capabilities of a processor provide an efficient mechanism to meet the growing performance and power demands of embedded appl...
178
click to vote
ICECCS
2008
IEEE
16 years 1 months ago
2008
IEEE
Ubiquitous computing systems can be regarded as open systems where heterogeneous and previously unknown entities may spontaneously interact, due to intrinsic mobility of users and...
186
click to vote
BIRTHDAY
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. This paper combines three topics to which Amir Pnueli contributed significantly: the semantics of languages for concurrency, the semantics of statecharts, and reactive an...