5984 search results - page 1113 / 1197 » The Informal Nature of Systems Engineering |
154
click to vote
ICDCSW
2002
IEEE
15 years 11 months ago
2002
IEEE
One of the problems faced by large, global organizations and enterprises is to effectively enable their employees to collaborate across locations. People need collaborative work s...
160
click to vote
GIS
2009
ACM
15 years 11 months ago
2009
ACM
Harnessing the potential of today’s ever growing and dynamic geospatial data requires the development of novel visual analysis interfaces, tools and technologies. In this paper,...
159
click to vote
SIGMOD
1997
ACM
15 years 10 months ago
1997
ACM
MDM is a tool that enables the users to de ne schemes of di erent data models and to perform translations of schemes from one model to another. These functionalities can be at the...
209
click to vote
DAMON
2006
Springer
15 years 10 months ago
2006
Springer
Secure coprocessors have traditionally been used as a keystone of a security subsystem, eliminating the need to protect the rest of the subsystem with physical security measures. ...
189
click to vote
ASM
2010
ASM
15 years 9 months ago
2010
ASM
The B method is one of the most used formal methods, when reactive systems is under question, due to good support for refinement. However, obtaining the formal model from requireme...