6155 search results - page 314 / 1231 » A language for multiple models of computation |
205
Voted
UML
2005
Springer
16 years 6 days ago
2005
Springer
Abstract. Current trends in software development show a move towards supporting autonomous components (agents). The accurate timing of interactions between such components is growi...
169
click to vote
ICALP
2003
Springer
15 years 12 months ago
2003
Springer
A special class of oracle circuits with tree-vector form is introduced. It is shown that they can be evaluated in deterministic polynomial-time with a polylog number of adaptive qu...
156
click to vote
ACL
2010
15 years 4 months ago
2010
Automatic processing of metaphor can be clearly divided into two subtasks: metaphor recognition (distinguishing between literal and metaphorical language in a text) and metaphor i...
164
Voted
KBSE
2006
IEEE
16 years 22 days ago
2006
IEEE
Software model checkers can be applied directly to single-process programs, which typically are multithreaded. Multi-process applications cannot be model checked directly. While m...
167
click to vote
MODELS
2007
Springer
16 years 26 days ago
2007
Springer
The impact of user interface quality has grown in software systems engineering, and will grow further with upcoming new paradigms such as Ambient Intelligence or Ubiquitous Comput...