7452 search results - page 413 / 1491 » A Semantics for Multiprocessor Systems |
161
click to vote
ICSM
2005
IEEE
16 years 14 days ago
2005
IEEE
Many of the approaches that analyze software evolution consider a static perspective of a system. Static analysis approaches focus on the evolution of static software entities suc...
197
click to vote
SAC
2003
ACM
16 years 3 days ago
2003
ACM
Matchmaking is the problem of matching offers and requests, such as supply and demand in a marketplace, services and customers in a service agency, etc., where both partners are ...
198
Voted
SEMWEB
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. Most Semantic Web applications are build on top of technology based on the Semantic Web layer cake and the W3C ontology languages RDF(S) and OWL. However RDF(S) embodies ...
193
Voted
ENTCS
2008
15 years 7 months ago
2008
Defining operational semantics for a process algebra is often based either on labeled transition systems that account for interaction with a context or on the so-called reduction ...
191
click to vote
VLSID
2007
IEEE
16 years 7 months ago
2007
IEEE
Today, VLSI systems for computationally demanding applications are being built as Systems-on-Chip (SoCs) with a distributed memory sub-system which is shared by a large number of ...