405 search results - page 14 / 81 » Open Systems Formal Evaluation Process |
SAMOS
2004
Springer
15 years 3 months ago
2004
Springer
Abstract. Loop unrolling plays an important role in compilation for Reconfigurable Processing Units (RPUs) as it exposes operator parallelism and enables other transformations (e.g...
105
click to vote
FASE
2008
Springer
15 years 6 days ago
2008
Springer
Web services are open, interoperable, easy to integrate and reuse, and are extensively used in many application domains. Research and best practices have produced excellent support...
113
click to vote
COORDINATION
2006
Springer
15 years 2 months ago
2006
Springer
Bigraphical Reactive Systems have been proposed as a meta model for global ubiquitous computing generalising process calculi for mobility such as the pi-calculus and the Mobile Amb...
75
Voted
FOSSACS
2005
Springer
15 years 4 months ago
2005
Springer
Language-based and process calculi-based information security are well developed fields of computer security. Although these fields have much in common, it is somewhat surprising...
ICALT
2007
IEEE
15 years 4 months ago
2007
IEEE
Nonaka and his knowledge transformation model SECI revolutionized the thinking about organizations as social learning systems. He introduced technical concepts like hypertext into...