1040 search results - page 74 / 208 » Resource Usage Verification |
137
click to vote
IJISEC
2010
14 years 12 months ago
2010
In this paper, we present an online/offline identity-based signature scheme for the wireless sensor network (WSN). We argue that due to significant reduction in costs of computati...
148
Voted
POPL
2012
ACM
13 years 10 months ago
2012
ACM
Functional reactive programming (FRP) is an elegant and successful approach to programming reactive systems declaratively. The high levels of abstraction and expressivity that mak...
146
Voted
WIDM
2012
ACM
13 years 10 months ago
2012
ACM
Process mining techniques use event data to discover process models, to check the conformance of predefined process models, and to extend such models with information about bottl...
123
Voted
EDCC
2005
Springer
15 years 8 months ago
2005
Springer
Fault links represent relationships between the types of mistakes made and the type of module being developed or modified. The existence of such fault links can be used to guide co...
98
Voted
ICESS
2005
Springer
15 years 8 months ago
2005
Springer
In this paper we propose semantic web-based mobile knowledge searching systems for display Web pages on mobile terminals. The proposed system reduces the time of verification when ...