7452 search results - page 278 / 1491 » A Semantics for Multiprocessor Systems |
209
click to vote
VISSOFT
2005
IEEE
16 years 7 days ago
2005
IEEE
Using visualization and exploration tools can be of great use for the understanding of a software system when only its source code is available. However, understanding a large sof...
201
click to vote
WIDM
2003
ACM
15 years 12 months ago
2003
ACM
At the present time, several shortcomings prevent the more effective use and more intense application of web information systems. Recent developments that are subsumed by the term...
183
click to vote
INLG
2010
Springer
15 years 4 months ago
2010
Springer
Today there exist a growing number of framenet-like resources offering semantic and syntactic phrase specifications that can be exploited by natural language generation systems. I...
145
click to vote
CALCO
2007
Springer
16 years 25 days ago
2007
Springer
We motivate and present a logical semantic approach to types for concurrency and to the soundness of related systems. The approach is illustrated by the development of a generic ty...
169
click to vote
IAT
2008
IEEE
16 years 1 months ago
2008
IEEE
Wiki is a collaborative Web page authoring system. By using a Wiki system, we can build a Web site collaboratively by creating and updating Wiki pages through Web browsers. If agen...