Sciweavers

2525 search results - page 197 / 505
» A Framework for Semantic Gossiping
Sort
View
WWW
2004
ACM
16 years 7 months ago
Towards Semantic Web Portals
A web portal is a platform for information presentation and information exchange over the Internet in a community of interest. Conventional web technologies used in web portals pr...
Dieter Fensel, Holger Lausen, Michael Stollberg, R...
ESOP
2010
Springer
16 years 4 months ago
A Hoare Logic for the Coinductive Trace-Based Big-Step Semantics of While
In search for a foundational framework for reasoning about observable behavior of programs that may not terminate, we have previously devised a trace-based big-step semantics for W...
Keiko Nakata and Tarmo Uustalu
VRST
2009
ACM
16 years 1 months ago
A semantic environment model for crowd simulation in multilayered complex environment
Simulating crowds in complex environment is fascinating and challenging, however, modeling of the environment is always neglected in the past, which is one of the essential proble...
Hao Jiang, Wenbin Xu, Tianlu Mao, Chunpeng Li, Shi...
IEEESCC
2008
IEEE
16 years 1 months ago
Using Semantics for Resource Allocation in Computing Service Providers
Service providers (SP) business goals require an efficient management of their computational resources in order to perform provisioning, deployment, execution and adaptation whic...
Jorge Ejarque, Marc de Palol, Iñigo Goiri, ...
207
Voted
WISE
2007
Springer
16 years 1 months ago
Using Ontology with Semantic Web Services to Support Modeling in Systems Biology
Modeling in systems biology is concerned with using experimental information and mathematical methods to build quantitative models at different biological scales. This requires int...
Zhouyang Sun, Anthony Finkelstein, Jonathan Ashmor...