1112 search results - page 181 / 223 » Supporting Social Awareness @ Work Design and Experience |
HIPC
2004
Springer
15 years 5 months ago
2004
Springer
This paper summarizes the design and implementation of a parallel algorithm for state assignment of large Finite State Machines (FSMs). High performance CAD tools are necessary to...
117
click to vote
ESOP
2006
Springer
15 years 3 months ago
2006
Springer
Abstract. In previous work, we described a new approach to supporting userdefined type qualifiers, which augment existing types to specify and check additional properties of intere...
LCN
2000
IEEE
15 years 3 months ago
2000
IEEE
The nowadays Internet architecture is mainly based on unicast communications and best-effort service. However, the development of the Internet encouraged emerging services that ar...
115
click to vote
ICWS
2007
IEEE
15 years 1 months ago
2007
IEEE
Web services are designed to standardize interactions between heterogeneous applications using Internet technologies. Within the framework of Internet search technologies, Web ser...
SERP
2003
15 years 1 months ago
2003
In the face of extensive attention form both the research community and the industry, traceability there still lacks of a supporting methodology that enables traceability througho...