4761 search results - page 502 / 953 » Components, Frameworks, Patterns |
187
click to vote
HYBRID
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. We use discrete quadratic Lyapunov functions to design controllers for a class of systems where time intervals between state measurements are longer than time intervals b...
182
click to vote
AGILEDC
2005
IEEE
16 years 16 days ago
2005
IEEE
This report describes experiences of introducing executable acceptance testing in senior software engineering courses. Students in an agile environment completed a five-iteration ...
202
click to vote
CSFW
2005
IEEE
16 years 15 days ago
2005
IEEE
Authentication and secrecy properties are proved by very different methods: the former by local reasoning, leading to matching knowledge of all principals about the order of their...
195
click to vote
WECWIS
2005
IEEE
16 years 14 days ago
2005
IEEE
Semantic Web Services facilitate activities including automatic discovery and composition of Web Services. Research initiatives such as WSMO have been developing specifications fo...
148
click to vote
CAISE
2005
Springer
16 years 13 days ago
2005
Springer
System engineering often states that respecting diversity during the upstream stages of a system designing is an unavoidable feature of the designing process. In the field of Infor...