3765 search results - page 511 / 753 » Formal Methods for Systems Engineering Behavior Models |
145
click to vote
HPCNCS
2007
15 years 8 months ago
2007
Abstract—As the bandwidth of networks is increasing exponentially, the computational cost to simulate such type of networks is also growing in a similar fashion. This paper prese...
174
click to vote
WWW
2004
ACM
16 years 7 months ago
2004
ACM
Service-oriented architectures (SOA) will provide the basis of the next generation of distributed software systems, and have already gained enormous traction in the industry throu...
180
click to vote
ISBI
2009
IEEE
16 years 1 months ago
2009
IEEE
Biological shape modeling is an essential task that is required for systems biology efforts to simulate complex cell behaviors. Statistical learning methods have been used to buil...
173
click to vote
CCGRID
2005
IEEE
16 years 8 days ago
2005
IEEE
Knowledge about the workload is an important aspect for scheduling of resources as parallel computers or Grid components. As the scheduling quality highly depends on the character...
193
click to vote
EMSOFT
2009
Springer
15 years 11 months ago
2009
Springer
Embedded systems such as smart cards or sensors are now widespread, but are often closed systems, only accessed via dedicated terminals. A new trend consists in embedding Web serv...