1785 search results - page 239 / 357 » Modeling Communication with Synchronized Environments |
113
Voted
ENTCS
2008
15 years 3 months ago
2008
We present the current state of our STSLib project. This project aims at defining an environment to formally specify and execute software components. One important feature is that...
130
click to vote
SIGUCCS
2003
ACM
15 years 9 months ago
2003
ACM
Higher education institutions have been striving to improve services and keep pace with new technologies. In a Higher education environment, the users utilize the available comput...
117
Voted
IJEH
2008
2008
Facilitating superior chronic disease management through a knowledge-based systems development model
15 years 3 months ago
To date the adoption and diffusion of technology enabled solutions to deliver better healthcare has been slow. There are many reasons for this. One of the most significant is that...
127
click to vote
COORDINATION
2009
Springer
16 years 4 months ago
2009
Springer
Process algebras are a set of mathematically rigourous languages with well defined semantics that permit modelling behaviour of concurrent and communicating systems. Verification o...
133
click to vote
CCGRID
2006
IEEE
15 years 9 months ago
2006
IEEE
Service Oriented EXtensible Modeling and Simulation Supporting Environment Architecture (SO-XMSSEA) is presented based on XMSF thinking and the new technology development of web s...