2191 search results - page 217 / 439 » Aspect - A Problem For MT |
131
click to vote
DANCE
2002
IEEE
15 years 10 months ago
2002
IEEE
Active Networking adds programmability to the elements of the network, most aggressively by using programmable packets, or capsules. ANTS [1, 2] and PLANet [3, 4] are the most mat...
138
Voted
IFIP
2001
Springer
15 years 9 months ago
2001
Springer
The overall purpose of this paper is to demonstrate the relevance of semiotics concepts to the analysis of intelligent control systems. Semiotics has only a minor impact on resear...
133
click to vote
ICSE
1999
IEEE-ACM
15 years 9 months ago
1999
IEEE-ACM
It is widely acknowledged that coordination of large scale software development is an extremely difficult and persistent problem. Since the structure of the code mirrors the struc...
148
click to vote
KGC
1993
Springer
15 years 9 months ago
1993
Springer
We establish the complexity of decision problems associated with the nonmonotonic modal logic S4. We prove that the problem of existence of an S4-expansion for a given set A of pr...
142
Voted
TAGT
1994
Springer
15 years 9 months ago
1994
Springer
Graphs are a popular data structure, and graph-manipulation programs are common. Graph manipulations can be cleanly, compactly, and explicitly described using graph-rewriting notat...