4890 search results - page 415 / 978 » From system specifications to component behavioral models |
175
click to vote
ISF
2010
15 years 5 months ago
2010
As more and more companies are deploying, or plan to deploy, information systems, the organizational capabilities to effectively deploy information technologies to support and shap...
192
click to vote
EGOV
2006
Springer
15 years 10 months ago
2006
Springer
This paper presents a synthetic summary of the literature in the area of quality of e-government services, as a basis for the future construction of a relevant model and ontology. ...
199
click to vote
ICN
2009
Springer
16 years 1 months ago
2009
Springer
Recent works on modeling the Internet topology [8, 9] have highlighted how the complexity of relationships between Autonomous Systems (ASes) can not be oversimplified without sac...
152
click to vote
ESOP
2010
Springer
16 years 4 months ago
2010
Springer
Affine type systems manage resources by preventing some values from being used more than once. This offers expressiveness and performance benefits, but difficulty arises in intera...
194
Voted
USS
2008
15 years 9 months ago
2008
Optical scan electronic voting machines employ software components that are customized for each specific election. Such software components are critical from a security and integr...