649 search results - page 120 / 130 » Modelling and Measuring Collaborative Software Engineering |
151
click to vote
WADT
2004
Springer
15 years 9 months ago
2004
Springer
Higher-order logic with shallow type class polymorphism is widely used as a specification formalism. Its polymorphic entities (types, operators, axioms) can easily be equipped wit...
158
click to vote
TASE
2010
IEEE
14 years 11 months ago
2010
IEEE
--This paper presents a novel approach to evaluate the response time in networked automation systems (NAS) that use a client/server protocol. The developments introduced are derive...
149
click to vote
LCTRTS
2004
Springer
15 years 9 months ago
2004
Springer
Application specific instruction-set processors combine an efficient general purpose core with special purpose functionality that is tailored to a particular application domain. ...
153
click to vote
EUROSYS
2006
ACM
16 years 1 months ago
2006
ACM
Building content-based search tools for feature-rich data has been a challenging problem because feature-rich data such as audio recordings, digital images, and sensor data are in...
172
click to vote
QEST
2009
IEEE
15 years 11 months ago
2009
IEEE
—Traviando is a trace analyzer and visualizer for simulation traces of discrete event dynamic systems. In this paper, we briefly outline recent extensions of Traviando towards a...