598 search results - page 93 / 120 » Developing E-Government Integrated Infrastructures: A Case S... |
MSE
2005
IEEE
14 years 1 months ago
2005
IEEE
The fast growing complexity and short time-tomarket of embedded systems designs, besides the great increase in capacity of today’s chips, are mobilizing the industry towards to ...
JALC
2006
13 years 7 months ago
2006
Formal methods are a popular means to specify and verify security properties of a variety of communication protocols. In this article we take a step towards the use of team automa...
IJAMC
2010
13 years 6 months ago
2010
—In this paper, we discuss interaction interoperability in Collaborative Virtual Environments (CVE), intended to mean the ability of two or more users to cooperate despite the he...
IJSEKE
2006
13 years 7 months ago
2006
pecific models increase the level of abstraction used to develop large-scale component-based systems. Model-driven development (MDD) approaches (e.g., ModelIntegrated Computing and...
UIST
2005
ACM
14 years 1 months ago
2005
ACM
System administrators work with many different tools to manage and fix complex hardware and software infrastructure in a rapidly paced work environment. Through extensive field st...