26151 search results - page 270 / 5231 » Parameterized system design |
194
click to vote
SISW
2005
IEEE
16 years 7 days ago
2005
IEEE
This paper describes a system that supports high availability of data, until the data should be expunged, at which time it is impossible to recover the data. This design supports ...
161
click to vote
CICLING
2005
Springer
16 years 5 days ago
2005
Springer
This paper presents the design and development of a system for the detection and correction of syntactic errors in free texts. The system is composed of three main modules: a) a ro...
124
click to vote
PG
2003
IEEE
15 years 12 months ago
2003
IEEE
The notable amount and variation of current techniques in non-photorealistic rendering (NPR) indicates a level of maturity whereby the categorization of algorithms has become poss...
185
click to vote
CSCWD
2009
Springer
15 years 11 months ago
2009
Springer
Aiming at deficiencies of existing knowledge resources management systems, we designed a new collaborative knowledge construction system for massive knowledge resources. By collab...
162
click to vote
IPPS
2000
IEEE
15 years 11 months ago
2000
IEEE
This paper describes a framework for parametric analysis of real-time systems based on process algebra. The Algebra of Communicating Shared Resources ACSR has been extended to AC...