18769 search results - page 3520 / 3754 » Requirements Models in Context |
193
click to vote
PPDP
2007
Springer
16 years 23 days ago
2007
Springer
The problem of mechanically formalizing and proving metatheoretic properties of programming language calculi, type systems, operational semantics, and related formal systems has r...
185
click to vote
ICDM
2006
IEEE
16 years 21 days ago
2006
IEEE
Due to their capability for expressing semantics and relationships among data objects, semi-structured documents have become a common way of representing domain knowledge. Compari...
181
click to vote
ICMCS
2006
IEEE
16 years 20 days ago
2006
IEEE
In traditional mobile streaming networks such as 3G cellular networks, all users pull streams from a server. Such pull model leads to high streaming cost and problem in system sca...
157
click to vote
INFOCOM
2006
IEEE
16 years 20 days ago
2006
IEEE
— Service Composition is a promising technology for providing on-demand services in dynamic and loosely coupled peerto-peer (P2P) networks. Because of system dynamics, such as th...
175
click to vote
INFOCOM
2006
IEEE
16 years 20 days ago
2006
IEEE
— In the standard approach to studying connectivity, a physical layer is assumed that allows direct transmission between neighbors within some fixed distance. The graph resultin...