3729 search results - page 705 / 746 » On Formal Modeling of Agent Computations |
176
click to vote
ISBI
2007
IEEE
16 years 8 days ago
2007
IEEE
3D cell culture assays have emerged as the basis of an improved model system for evaluating therapeutic agents, molecular probes, and exogenous stimuli. However, there is a gap in...
153
click to vote
SASO
2007
IEEE
16 years 8 days ago
2007
IEEE
The study of synchronization has received much attention in a variety of applications, ranging from coordinating sensors in wireless networks to models of fireflies flashing in...
159
click to vote
ESOP
2007
Springer
16 years 5 days ago
2007
Springer
Abstract. Service Level Agreements are a key issue in Service Oriented Computing. SLA contracts specify client requirements and service guarantees, with emphasis on Quality of Serv...
179
click to vote
WINE
2007
Springer
16 years 3 days ago
2007
Springer
Motivated by the growth of various networked systems as potential market places, we study market models wherein, owing to the size of the markets, transactions take place between l...
157
click to vote
CIMCA
2005
IEEE
15 years 11 months ago
2005
IEEE
Minimal Switching Graph (MSG) is a graphical model for the constrained via minimization problem — a combinatorial optimization problem in integrated circuit design automation. F...