1107 search results - page 154 / 222 » XAIRA : software for language analysis |
152
Voted
CODES
2007
IEEE
15 years 10 months ago
2007
IEEE
Caches are notorious for their unpredictability. It is difficult or even impossible to predict if a memory access results in a definite cache hit or miss. This unpredictability i...
206
Voted
FASE
2004
Springer
15 years 7 months ago
2004
Springer
Real-Time Maude is a language and tool supporting the formal specification and analysis of real-time and hybrid systems. The specification formalism is based on rewriting logic, em...
133
Voted
HPDC
2010
IEEE
15 years 4 months ago
2010
IEEE
Automated analysis of unstructured text documents (e.g., web pages, newswire articles, research publications, business reports) is a key capability for solving important problems ...
140
click to vote
CCS
2008
ACM
15 years 5 months ago
2008
ACM
Single-Sign-On (SSO) protocols enable companies to establish a federated environment in which clients sign in the system once and yet are able to access to services offered by dif...
138
Voted
VL
1999
IEEE
15 years 8 months ago
1999
IEEE
An analysis of how visual modeling of structure and dynamic behavior of a multimedia application differs from modeling conventional software yields that aspects of the graphical u...