4158 search results - page 561 / 832 » A Framework for Web Science |
153
click to vote
ICTCS
2007
Springer
16 years 23 days ago
2007
Springer
ing from Prioritized/Weighted Internal Immediate Actions Marco Bernardo and Alessandro Aldini Universit`a di Urbino “Carlo Bo” – Italy Markovian process calculi constitute a ...
193
click to vote
RTA
2007
Springer
16 years 22 days ago
2007
Springer
This paper shows how to construct static analyzers using tree automata and rewriting techniques. Starting from a term rewriting system representing the operational semantics of the...
148
click to vote
HICSS
2006
IEEE
16 years 20 days ago
2006
IEEE
The central idea in reference modeling is the reutilization of the business knowledge contained in reference models for the construction of specific information models. The orient...
152
click to vote
ACMSE
2006
ACM
16 years 17 days ago
2006
ACM
The design of large-scale, distributed, performance-sensitive systems presents numerous challenges due to their networkcentric nature and stringent quality of service (QoS) requir...
168
click to vote
CSCW
2006
ACM
16 years 17 days ago
2006
ACM
Rendezvous is a conference call solution that leverages Voice over IP, enterprise calendaring, instant messaging, and rich client functionality to enhance the user experience and ...