3792 search results - page 485 / 759 » Techniques for Trusted Software Engineering |
178
click to vote
SEKE
2005
Springer
16 years 6 days ago
2005
Springer
Checking for properties of Web ontologies is important for the development of reliable Semantic Web systems. Software specification and verification tools can be used to complem...
168
Voted
IUI
2004
ACM
16 years 4 days ago
2004
ACM
In order to give people ubiquitous access to software applications, device controllers, and Internet services, it will be necessary to automatically adapt user interfaces to the c...
156
click to vote
LCTRTS
2004
Springer
16 years 2 days ago
2004
Springer
Java Card technology simplifies the development of smart card applications by providing a high-level programming language similar to Java. However, the master-slave programming m...
217
click to vote
LSO
2004
Springer
16 years 2 days ago
2004
Springer
Selection of Commercial-off-The-Shelf (COTS) software products is a knowledge-intensive process. In this paper, we show how knowledge bases can be used to facilitate the COTS selec...
152
click to vote
CISIS
2010
IEEE
16 years 1 days ago
2010
IEEE
—The term Enterprise 2.0 applies to the use of Web 2.0 technologies as a support for business activities within the organizations. These technologies are exploited to foster inte...