2373 search results - page 316 / 475 » The Design of the Zinc Modelling Language |
177
click to vote
ECOOP
2008
Springer
15 years 8 months ago
2008
Springer
One of the most important decisions about the architecture of a server program is its concurrency mechanisms. However, a good concurrency model for general-purpose server programs ...
186
click to vote
SIMUTOOLS
2008
15 years 7 months ago
2008
Evaluating the performance of a cooperative relaying protocol requires an implementation for simulators and/or software-defined radios (SDRs) with an appropriate model for error d...
140
click to vote
CIB
2005
15 years 6 months ago
2005
Unlike the data approached in traditional data mining activities, software data are featured with partial-repeatability or parepeatics, which is an invariant property that can neit...
160
click to vote
LICS
2006
IEEE
16 years 14 days ago
2006
IEEE
for reasoning about abstract models of protocols. The work on informal methods attempts to discern common patterns in the extensive record of flawed protocols, and to formulate po...
180
click to vote
ESCIENCE
2005
IEEE
16 years 2 days ago
2005
IEEE
GridXSLT is an implementation of the XSLT programming language designed for distributed web service orchestration. Based on the functional semantics of the language, it compiles p...