3828 search results - page 413 / 766 » Proof-Based System Engineering Using a Virtual System Model |
165
click to vote
GROUP
2005
ACM
16 years 10 days ago
2005
ACM
Recent proliferation of computing devices has brought attention to heterogeneous collaborative systems, where key challenges arise from the resource limitations and disparities. S...
159
click to vote
IEEESP
2007
15 years 6 months ago
2007
igh level of abstraction and to provide broad oversight. In contrast, the goal of computer science security education is to provide the technicalexpertisetodevelopsecure software a...
183
click to vote
SIAMCOMP
2010
15 years 5 months ago
2010
Some systems interact with their environment at physically distributed interfaces, called ports, and in testing such a system it is normal to place a tester at each port. Each test...
208
click to vote
IUI
2003
ACM
16 years 1 days ago
2003
ACM
Authoring dynamic web pages is an inherently difficult task. We present DESK, an interactive authoring tool that allows the customization of dynamic page generation procedures wit...
172
click to vote
WWW
2009
ACM
16 years 7 months ago
2009
ACM
This paper formulates a collaborative system for modeling business application. The system uses a Semantic Wiki to enable collaboration between the various stakeholders involved i...