8446 search results - page 1297 / 1690 » A Process Compensation Language |
152
click to vote
IPPS
2006
IEEE
16 years 2 days ago
2006
IEEE
In this paper we show how high-level UML models of mobile computing applications can be analysed for classical performance measures such as throughput. The approach proceeds by co...
150
click to vote
ITNG
2006
IEEE
16 years 1 days ago
2006
IEEE
We introduce a measurement system architecture, which has three main qualities: secure two-way transfer of measurement data, quick adaptability to different kinds of measurement ...
217
click to vote
ACL2
2006
ACM
16 years 20 hour ago
2006
ACM
To make it practical to mechanize proofs in programming language metatheory, several capabilities are required of the theorem proving framework. One must be able to represent and ...
150
click to vote
DOCENG
2006
ACM
16 years 15 hour ago
2006
ACM
For most users, authoring multimedia documents remains a complex task. One solution to deal with this problem is to provide template-based authoring tools but with the drawback of...
147
click to vote
MOMM
2006
ACM
16 years 4 hour ago
2006
ACM
Multimedia tools provide significant assistance in vast variety of different areas and one of them is education. The paper shows that such tools are especially important for const...