2004 search results - page 282 / 401 » Comparison of Model Checking Tools for Information Systems |
203
click to vote
JUCS
2008
15 years 4 months ago
2008
: Information Technology (IT) has evolved over time from its traditional use as administrative support towards a more strategic role to enforce business processes (BP). But several...
144
click to vote
VRML
2010
ACM
15 years 8 months ago
2010
ACM
In this paper, we describe a case study in usability engineering for Web3D learning systems and introduce a new step to the typical methods of the usability design. Pedagogical ap...
240
click to vote
MSR
2011
ACM
14 years 7 months ago
2011
ACM
Software readability is a property that influences how easily a given piece of code can be read and understood. Since readability can affect maintainability, quality, etc., prog...
141
click to vote
WWW
2010
ACM
15 years 4 months ago
2010
ACM
Popularity of content in social media is unequally distributed, with some items receiving a disproportionate share of attention from users. Predicting which newly-submitted items ...
DATE
2007
IEEE
15 years 10 months ago
2007
IEEE
This paper presents a new approach that can be used to speed up SystemC simulations by automatically optimizing the model for simulation. The work addresses the inefficiency of th...