111 search results - page 10 / 23 » Approaching Question Answering by Means of Paragraph Validat... |
AMAST
2004
Springer
13 years 11 months ago
2004
Springer
Since Z, being a state-based language, describes a system in terms of its state and potential state changes, it is natural to want to describe properties of a specified system also...
WCE
2007
13 years 8 months ago
2007
—People make and use tools. Many information technology tools, applying computer science research, powerfully influence human behaviour. Some questions about human behaviour can ...
IWPC
2009
IEEE
14 years 2 months ago
2009
IEEE
An empirical study is presented that investigates how stereotype based layouts impact the comprehension of UML class diagrams. This work continues a previous study using eye-track...
RTAS
2006
IEEE
14 years 1 months ago
2006
IEEE
Prior research on schedulability bounds focused primarily on bounding utilization as a means to meet deadline constraints. Non-trivial bounds were found for a handful of schedulin...
IMC
2005
ACM
14 years 1 months ago
2005
ACM
Network engineers and operators are faced with a number of challenges that arise in the context of network monitoring and measurement. These include: i) how much information is in...