3564 search results - page 444 / 713 » Evaluating a Formal Modelling Language |
146
click to vote
ACL
2011
14 years 7 months ago
2011
Automated grammar correction techniques have seen improvement over the years, but there is still much room for increased performance. Current correction techniques mainly focus on...
127
click to vote
ADAEUROPE
2007
Springer
15 years 10 months ago
2007
Springer
When developing concurrent software, a proper engineering practice is to choose a good level of abstraction for expressing concurrency control. Ideally, this level should provide p...
130
click to vote
ACTAC
1998
15 years 3 months ago
1998
In a semi-structured database there is no clear separation between the data and the schema, and the degree to which it is structured depends on the application. Semi-structured da...
271
click to vote
ECOOP
2009
Springer
16 years 4 months ago
2009
Springer
Role-based access control (RBAC) is a common paradigm to ensure that users have sufficient rights to perform various system operations. In many cases though, traditional RBAC does ...
133
click to vote
ESOP
2010
Springer
16 years 1 months ago
2010
Springer
Transient faults are single-shot hardware errors caused by high energy particles from space, manufacturing defects, overheating, and other sources. Such faults can be devastating f...